2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Garett Cunningham, Razvan C. Bunescu, David Juedes
The ever-growing complexity of mathematical proofs makes their manual verification by mathematicians very cognitively demanding. Autoformalization seeks to address this by translat…