Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Yonsei University
1
0
2
3
LLMs can now prove theorems at scale, thanks to a new structural mining approach that boosts performance by 26 points on the notoriously difficult seL4 verification benchmark.