Tensor network language model. - Vasily Pestun; Yiannis Vlassopoulos (CoRR, 2017)

Language as a matrix product state. - Vasily Pestun; John Terilla; Yiannis Vlassopoulos (CoRR, 2017)

CertRL: formalizing convergence proofs for value and policy iteration in Coq. - Koundinya Vajjha; Avraham Shinnar; Barry M. Trager; Vasily Pestun; Nathan Fulton (CPP, 2021)

Formalization of a Stochastic Approximation Theorem. - Koundinya Vajjha; Barry M. Trager; Avraham Shinnar; Vasily Pestun (ITP, 2022)

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)

Graph2Tac: Online Representation Learning of Formal Math Concepts. - Lasse Blaauwbroek; Mirek Olsák; Jason Rute; Fidel Ivan Schaposnik Massolo; Jelle Piepenbrock; Vasily Pestun (ICML, 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)