6 citations · 6 across the 11 of their papers we have counts for
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…