Search papers, labs, and topics across Lattice.
Skolkovo Institute of Science and Technology, Sberbank
1
0
2
LLMs struggle with complex theorem proving, often opting for inefficient strategies that highlight a significant gap in their reasoning capabilities.
