Search papers, labs, and topics across Lattice.
Nanyang Technological University
1
0
2
Many autoformalisation systems exhibit a troubling tendency to "silently correct" invalid inputs into valid proofs, revealing a critical flaw in their design.
