Search papers, labs, and topics across Lattice.
2
0
2
Explicit supervision of failed reasoning branches boosts model recovery rates, leading to a dramatic 72.7 percentage point improvement in solving hidden graph tasks.
LLMs struggle with complex theorem proving, often opting for inefficient strategies that highlight a significant gap in their reasoning capabilities.
