Vasily Pestun
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2021–2024
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICML | Graph2Tac: Online Representation Learning of Formal Math Concepts. | Lasse Blaauwbroek, Mirek Olsk, Jason Rute, Fidel Ivan Schaposnik Massolo, Jelle Piepenbrock, Vasily Pestun |
| 2022 | ITP | Formalization of a Stochastic Approximation Theorem. | Koundinya Vajjha, Barry M. Trager, Avraham Shinnar, Vasily Pestun |
| 2021 | CPP | CertRL: formalizing convergence proofs for value and policy iteration in Coq. | Koundinya Vajjha, Avraham Shinnar, Barry M. Trager, Vasily Pestun, Nathan Fulton |