Vasily Pestun | DeepAI

AI Chat

Featured Co-authors

Avraham Shinnar
12 publications
Brando Miranda
12 publications
Nathan Fulton
6 publications
John Terilla
5 publications
Yiannis Vlassopoulos
4 publications
Barry Trager
4 publications
Koundinya Vajjha
4 publications
Avi Shinnar
1 publication

∙ 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. ∙

∙ 02/12/2022

Formalization of a Stochastic Approximation Theorem

Stochastic approximation algorithms are iterative procedures which are u...

0 Koundinya Vajjha, et al. ∙

∙ 09/23/2020

CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq

Reinforcement learning algorithms solve sequential decision-making probl...

0 Koundinya Vajjha, et al. ∙

∙ 11/04/2017

Language as a matrix product state

We propose a statistical model for natural language that begins by consi...

0 Vasily Pestun, et al. ∙

∙ 10/27/2017

Tensor network language model

We propose a new statistical model suitable for machine learning of syst...

0 Vasily Pestun, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world