Search papers, labs, and topics across Lattice.
1
0
3
Forget massive models: fine-tuning a small 4B parameter model on carefully curated data can match or even approach the performance of 100B+ parameter LLMs in program verification tasks.
