技术博客arXiv cs.AI·3 小时前

Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics

AI 深度解读

大语言模型（LLM）在数学推理领域展现了卓越的能力，但它们常常会犯下人类难以