Science ❯ Cognitive Science ❯ Reasoning ❯ Logic
New surveys, benchmarks and modular methods chart a path to more reliable agents.