1 citations · 2 across the 6 of their papers we have counts for
1 paper · 2 filters
Rafael Cabral, Tuan Manh Do, Xuejun Yu +3
Proof autoformalization, the task of translating natural language theorems and proofs into machine-verifiable code, is a critical step for integrating large language models into ri…