Search papers, labs, and topics across Lattice.
Affiliation:
2
0
3
5
Verifiable logical reasoning in LLMs can be achieved by integrating a Logical Knowledge Graph with dynamic solver routing, outperforming traditional methods.
A stark capability cliff reveals that even leading AI models falter on complex workflows, achieving less than 15% success despite advancements in tool-use benchmarks.
