Search papers, labs, and topics across Lattice.
1
0
3
Forget finetuning, pre-train your LLM on procedurally generated, solver-verified symbolic reasoning data and watch its reasoning skills soar without sacrificing language modeling quality.