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