Authors Search About

Nesterov, Vasilii

1 publications

ICMLW 2024 Lean4trace: Data Augmentation for Neural Theorem Proving in Lean Vasilii Nesterov, Yermek Kapushev, Mikhail Burtsev

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy