Search papers, labs, and topics across Lattice.
IBM Research
1
0
3
LLMs are prompting a move away from single-shot planning towards generating verifiable symbolic solvers, offering a path to more reliable and efficient AI agents.