Machine Learning Algorithms & Natural Language Processing

Oct 8, 2026 · Artificial Intelligence

SAGE Corrects Long-Horizon Reasoning Drift via Structural Guidance, 8x AC Verification

NeurIPS 2026 paper SAGE introduces structural guidance via Symbolic Closure Analysis to fix long-horizon reasoning biases, using algebraic sparsification and hyperbolic distance feedback during training, outperforming baselines on 12 benchmarks and achieving nearly 8x Lean verification pass rate on Andrews-Curtis tasks.