Vasily Pestun

According to our database, Vasily Pestun authored at least 7 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

Graph2Tac: Online Representation Learning of Formal Math Concepts.

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

Proceedings of the Forty-first International Conference on Machine Learning, 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