Authors Search About

Tarrach, Guillem

1 publications

ICMLW 2024 More Details, Please: Improving Autoformalization with More Detailed Proofs Guillem Tarrach, Albert Q. Jiang, Daniel Raggi, Wenda Li, Mateja Jamnik

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