Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
1
0
2
Trellis transforms the autoformalization landscape by enabling reliable proof formalization with generalist LLMs through a rigor-driven iterative process.