Vasily Pestun

According to our database, Vasily Pestun authored at least 6 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Graph2Tac: Learning Hierarchical Representations of Math Concepts in Theorem proving.

Jason Rute, Miroslav Olsák, Lasse Blaauwbroek, Fidel Ivan Schaposnik Massolo, Jelle Piepenbrock, Vasily Pestun

CoRR, 2024

2023

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

Brando Miranda, Avi Shinnar, Vasily Pestun, Barry M. Trager

CoRR, 2023

2022

Formalization of a Stochastic Approximation Theorem.

Koundinya Vajjha, Barry M. Trager, Avraham Shinnar, Vasily Pestun

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

2021

CertRL: formalizing convergence proofs for value and policy iteration in Coq.

Koundinya Vajjha, Avraham Shinnar, Barry M. Trager, Vasily Pestun, Nathan Fulton

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

2017

Language as a matrix product state.

Vasily Pestun, John Terilla, Yiannis Vlassopoulos

CoRR, 2017

Tensor network language model.

Vasily Pestun, Yiannis Vlassopoulos

CoRR, 2017