热点
"数学形式化" 相关文章
Automated Formalization via Conceptual Retrieval-Augmented LLMs
cs.AI updates on arXiv.org 2025-08-12T04:02:04.000000Z
超越DeepSeek-R1，数学形式化准确率飙升至84% | 字节&南大开源
智源社区 2025-07-31T05:09:00.000000Z
Learning an Effective Premise Retrieval Model for Efficient Mathematical Formalization
cs.AI updates on arXiv.org 2025-07-17T04:14:45.000000Z
Hierarchical Agency: A Missing Piece in AI Alignment
少点错误 2024-11-27T05:52:13.000000Z