Search papers, labs, and topics across Lattice.
Shanghai Jiao Tong University
1
0
2
Bridging the gap between informal mathematics and formal proofs, this method enables LLMs to auto-formalize complex mathematical reasoning while preserving its inherent ambiguity until the final verification stage.
