Search papers, labs, and topics across Lattice.
1
0
3
LLMs can achieve state-of-the-art mathematical reasoning accuracy while pruning redundant computations by verifying solutions in a hierarchical, reversible manner.
