会员服务
数学是关于数量、结构、变化等主题的探索。
MalruleLib: Large-Scale Executable Misconception Reasoning with Step Traces for Modeling Student Thinking in Mathematics
Arxiv
0+阅读 · 1月6日
Beyond the Black Box: Theory and Mechanism of Large Language Models
Arxiv
0+阅读 · 1月6日
ReTreVal: Reasoning Tree with Validation - A Hybrid Framework for Enhanced LLM Multi-Step Reasoning
Arxiv
0+阅读 · 1月6日
CogFlow: Bridging Perception and Reasoning through Knowledge Internalization for Visual Mathematical Problem Solving
Arxiv
0+阅读 · 1月5日
DéjàQ: Open-Ended Evolution of Diverse, Learnable and Verifiable Problems
Arxiv
0+阅读 · 1月5日
EternalMath: A Living Benchmark of Frontier Mathematics that Evolves with Human Discovery
Arxiv
0+阅读 · 1月4日
ScRPO: From Errors to Insights
Arxiv
0+阅读 · 1月5日
Constant Inapproximability of Pacing Equilibria in Second-Price Auctions
Arxiv
0+阅读 · 1月1日
Geometry of Reason: Spectral Signatures of Valid Mathematical Reasoning
Arxiv
0+阅读 · 1月2日
Improving Autoformalization Using Direct Dependency Retrieval
Arxiv
0+阅读 · 1月1日
Language as Mathematical Structure: Examining Semantic Field Theory Against Language Games
Arxiv
0+阅读 · 1月1日
LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories)
Arxiv
0+阅读 · 2025年12月31日
Set Theory in the Foundation of Math; Internal Classes and External Sets
Arxiv
0+阅读 · 2025年12月31日
DaGRPO: Rectifying Gradient Conflict in Reasoning via Distinctiveness-Aware Group Relative Policy Optimization
Arxiv
0+阅读 · 2025年12月31日
Evolutionary Discovery of Sequence Acceleration Methods for Slab Geometry Neutron Transport
Arxiv
0+阅读 · 2025年12月31日
参考链接
微信扫码咨询专知VIP会员
Top