今日 本周 本月 三个月 半年 一年 所有
📋 全部 🤖 AI·大模型 ⚡ 效率工具 📝 深度技术 🚀 产品观察 💰 商业科技 🔓 开源项目 🎨 设计创意 📖 阅读推荐 🏷 资源合集 🌱 成长效率
1
📝 深度技术 arXiv 机器学习 2026-05-20

Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs

结合Lean与理论计算机科学，可规模生成形式-非形式配对的定理证明挑战，助力AI数学推理研究。

arXiv:2508.15878v2 Announce Type: replace-cross Abstract: Formal theorem proving (FTP) has emerged as a critical foundation for evaluating the reasoni…

定理证明 lean 形式化验证 理论计算机科学 ai数学推理
2
📝 深度技术 arXiv 机器学习 2026-05-20

Learning How to Cube

arXiv最新预印本，系统探讨如何通过机器学习方法实现立方操作，理论严谨，适合算法研究者深读。

arXiv:2605.16632v1 Announce Type: new Abstract: Despite the effectiveness of Cube-and-Conquer (C&C) for solving challenging Boolean Satisfiability…

机器学习 立方操作 算法 预印本 理论计算机科学

📅 日期

2026-05-20 2026-05-19