Search papers, labs, and topics across Lattice.
Princeton University
2
0
4
Achieving 100% success on challenging theorem proving tasks, Goedel-Architect redefines efficiency in formal proofs by leveraging natural language guidance and adaptive blueprint refinement.
Domain-specific fine-tuning can induce "agentic collapse" in LLMs, but a surprisingly small amount of agentic data from *another* domain can bring those general tool-use skills roaring back.
