Login / Signup

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

Brando MirandaAvi ShinnarVasily PestunBarry M. Trager
Published in: CoRR (2023)
Keyphrases
  • lambda calculus
  • deep learning
  • program understanding
  • database query languages
  • machine learning
  • high level
  • probabilistic model
  • programming language
  • theorem prover