Search papers, labs, and topics across Lattice.
Affiliation:
2
0
5
4
MathForm-8B not only outperforms specialized autoformalizers but also sets a new standard for verified mathematical formalization with an impressive 88.06% pass rate on syntax checks.
UltraX achieves the highest average performance across datasets while using fewer training tokens, redefining efficiency in data refinement for LLMs.
