$$ ext{MDL} \land ext{CoT} \Rightarrow ext{Verifiable, Robust, and Agentic Mathematical Reasoning with LLMs} $$
Latest 23 papers on mathematical reasoning: Sep. 7, 2026
Artificial Intelligence
Computation and Language
Machine Learning