Search papers, labs, and topics across Lattice.
2
0
4
7
Current LLMs can barely translate natural-language claims into formal statements, achieving only 11.5 on a critical task that could unlock automated theoretical research.
CurateEvo transforms data curation from a static process into a dynamic, failure-driven evolution, significantly boosting performance and efficiency in LLM training.
