Avi Shinnar | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Brando Miranda
12 publications
Vasily Pestun
5 publications
Barry Trager
4 publications

research

∙ 03/15/2023

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

Despite a growing body of work at the intersection of deep learning and ...

0 Brando Miranda, et al. ∙