1 paper
Supriya Lall, Christian Farrell, Hari Pathanjaly +3
Reasoning is a fundamentally algorithmic task. Yet current work on LLM-based reasoning relies on free-form generation whose theoretical guarantees (soundness, completeness, complex…