热点
"Lean4" 相关文章
Geoint-R1: Formalizing Multimodal Geometric Reasoning with Dynamic Auxiliary Constructions
cs.AI updates on arXiv.org 2025-08-06T04:01:57.000000Z
TheoremLlama: An End-To-End Framework to Train a General-Purpose Large Language Model to Become a Lean4 Expert
MarkTechPost@AI 2024-07-10T15:46:34.000000Z