most citedTransformer Models for Type Inference in the Simply Typed Lambda Calculus: A Case Study in Deep Learning for Code

1 citations · 1 across the 2 of their papers we have counts for

collaborators

2 papers

cs.PL2023★ 1 cited

Transformer Models for Type Inference in the Simply Typed Lambda Calculus: A Case Study in Deep Learning for Code

Brando Miranda, Avi Shinnar, Vasily Pestun +1

Despite a growing body of work at the intersection of deep learning and formal languages, there has been relatively little systematic exploration of transformer models for reasonin…

math.AG2012

Ideals of curves given by points

E. Fortuna, P. Gianni, B. Trager

Let C be an irreducible projective curve of degree d in Pn(K), where K is an algebraically closed field, and let I be the associated homogeneous prime ideal. We wish to compute gen…