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
∙
01/25/2023
Towards a Unification of Logic and Information Theory
We examine the problem of efficient transmission of logical statements f...
research
∙
02/12/2022
Formalization of a Stochastic Approximation Theorem
Stochastic approximation algorithms are iterative procedures which are u...
research
∙
09/23/2020