Search papers, labs, and topics across Lattice.
Affiliation:
1
0
Verifiable logical reasoning in LLMs can be achieved by integrating a Logical Knowledge Graph with dynamic solver routing, outperforming traditional methods.
