Papers by Anton Xue
Probabilistic Soundness Guarantees in LLM Reasoning Chains (2025.emnlp-main)
Copied to clipboard
| Challenge: | Existing methods for detecting propagated errors in reasoning chains are inadequate . author et al. (2017) show that initial errors propagate and undermine reliability of final conclusion . |
| Approach: | They propose a framework that evaluates each reasoning step based solely on previously-verified premises and provides certified statistical guarantees of its soundness. |
| Outcome: | ARES achieves state-of-the-art performance across four benchmarks and demonstrates superior robustness on very long synthetic reasoning chains. |