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 ...
share
research
∙
02/12/2022
Formalization of a Stochastic Approximation Theorem
Stochastic approximation algorithms are iterative procedures which are u...
research
∙
09/23/2020
CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq
Reinforcement learning algorithms solve sequential decision-making probl...
research
∙
11/04/2017
Language as a matrix product state
We propose a statistical model for natural language that begins by consi...
research
∙
10/27/2017