1
What are the Right Symmetries for Formal Theorem Proving?
探讨形式定理证明中对称性的选择，为自动推理提供新视角。
arXiv:2605.22257v1 Announce Type: cross Abstract: Formal theorem provers based on large language models (LLMs) are highly sensitive to superficial var…
2
ACIL: Auto Chain of Thoughts for In-Context Learning
提出ACIL方法，自动化链式思维推理与上下文学习结合，提升LLM多步推理能力。
arXiv:2605.17088v1 Announce Type: new Abstract: Recent advances in large language models (LLMs) have shown that Chain-of-Thought (CoT) reasoning can s…
3
From LLM-Generated Conjectures to Lean Formalizations: Automated Polynomial Inequality Proving via Sum-of-Squares Certificates
提出用LLM生成猜想并转化为Lean形式化验证，基于平方和证书实现自动多项式不等式证明，开辟数学推理新路径。
arXiv:2605.15445v1 Announce Type: new Abstract: Automated proving of polynomial inequalities is a fundamental challenge in automated mathematical reas…