1 paper · 1 filter
Nilay Patel, Noah Arias, Davit Babayan +7
Current autoformalization benchmarks are largely focused on olympiad or undergraduate mathematics, while graduate and research-level mathematics remains underexplored. In this pape…