热点
"形式数学" 相关文章
Thinking Machines: Mathematical Reasoning in the Age of LLMs
cs.AI updates on arXiv.org 2025-08-04T04:27:23.000000Z
LEAN-GitHub: A Large-Scale Dataset for Advancing Automated Theorem Proving
MarkTechPost@AI 2024-07-25T13:34:19.000000Z