Search papers, labs, and topics across Lattice.
1
0
3
2
LLMs can achieve robust nonmonotonic reasoning across diverse tasks without task-specific engineering, simply by iteratively self-correcting based on feedback from an ASP solver.