1 paper · 1 filter
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…