Track the frontier, from condensed matter to cosmology.
Search papers, labs, and topics across Lattice.
University of California
2
0
5
Uncovering crucial supporting lemmas for theorem proving by traversing multi-hop dependencies in a formal library's declaration graph.
A simple post-hoc geometric calibration method recovers lost out-of-domain capabilities and boosts in-domain performance after SFT, even on large, diverse models.