Search papers, labs, and topics across Lattice.
University of Oxford
2
0
5
Many autoformalisation systems exhibit a troubling tendency to "silently correct" invalid inputs into valid proofs, revealing a critical flaw in their design.
LLMs can be actively trained to master specific knowledge domains with 50% less data and computation by focusing on what they *don't* know, not what they already do.
