Search papers, labs, and topics across Lattice.
2
0
3
Even the strongest LLM agent workflows top out at just 25.4% proof coverage on STOC and COLT theorems, exposing a massive capability overhang between competition math performance and genuine theoretical computer science research.
Forget fine-tuning: inject targeted time-series insights into general LLMs and watch their reasoning skills skyrocket by up to 26%.
