1 citations · 1 across the 5 of their papers we have counts for
1 paper · 2 filters
Agnieszka Mensfelt, David Tena Cucala, Santiago Franco +3
Autoformalization has emerged as a term referring to the automation of formalization - specifically, the formalization of mathematics using interactive theorem provers (proof assis…