2 citations · 2 across the 5 of their papers we have counts for
1 paper · 1 filter
Prithwish Jana, Viet Bach Hoang, Logan Luna +9
Proof auto-formalization translates natural-language (NL) theorems and proofs into a formal language (FL) such as Lean, enabling mechanical verification. Despite rapid progress, re…