Vasily Pestun

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 8

Top Topics

Stochastic Approximation

Top Venues

Publications

Jason Rute, Miroslav Olsák, Lasse Blaauwbroek, Fidel Ivan Schaposnik Massolo, Jelle Piepenbrock, Vasily Pestun
Graph2Tac: Learning Hierarchical Representations of Math Concepts in Theorem proving. CoRR (2024)
Brando Miranda, Avi Shinnar, Vasily Pestun, Barry M. Trager
Transformer Models for Type Inference in the Simply Typed Lambda Calculus: A Case Study in Deep Learning for Code. CoRR (2023)
Koundinya Vajjha, Barry M. Trager, Avraham Shinnar, Vasily Pestun
Formalization of a Stochastic Approximation Theorem. ITP (2022)
Koundinya Vajjha, Barry M. Trager, Avraham Shinnar, Vasily Pestun
Formalization of a Stochastic Approximation Theorem. CoRR (2022)
Koundinya Vajjha, Avraham Shinnar, Barry M. Trager, Vasily Pestun, Nathan Fulton
CertRL: formalizing convergence proofs for value and policy iteration in Coq. CPP (2021)
Koundinya Vajjha, Avraham Shinnar, Vasily Pestun, Barry M. Trager, Nathan Fulton
CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq. CoRR (2020)
Vasily Pestun, John Terilla, Yiannis Vlassopoulos
Language as a matrix product state. CoRR (2017)
Vasily Pestun, Yiannis Vlassopoulos
Tensor network language model. CoRR (2017)