热点
"Lean证明" 相关文章
ProofOptimizer: Training Language Models to Simplify Proofs without Human Demonstrations
cs.AI updates on arXiv.org 2025-10-20T04:14:32.000000Z
ProofOptimizer: Training Language Models to Simplify Proofs without Human Demonstrations
cs.AI updates on arXiv.org 2025-10-20T04:14:32.000000Z
Mathematics with large language models as provers and verifiers
cs.AI updates on arXiv.org 2025-10-16T04:23:11.000000Z
美版“梁文锋”不信邪
虎嗅 2025-07-31T06:54:43.000000Z
Theoretical Alignment's Second Chance
少点错误 2024-12-22T05:06:38.000000Z