会员服务
数学是关于数量、结构、变化等主题的探索。
Composition: Building Community with Arts, Math, and Code (Experience Report)
Arxiv
0+阅读 · 6月22日
Does My Embedding Reflect That $A = B$? Evaluating Mathematical Equivalence in Embedding Models
Arxiv
0+阅读 · 6月22日
Benchmarking LLMs' Mathematical Reasoning with Unseen Random Variables Questions
Arxiv
0+阅读 · 6月23日
Types, equations, dimensions and the Pi theorem
Arxiv
0+阅读 · 6月22日
Ten Digits on a Train: AI-Assisted Verification of Two Eigenvalue Problems
Arxiv
0+阅读 · 6月22日
Riemann-Bench: A Benchmark for Moonshot Mathematics
Arxiv
0+阅读 · 6月23日
Human vs Machine Mathematical Difficulty on Project Euler: An Experimental Analysis
Arxiv
0+阅读 · 6月20日
A Limit Theory of Foundation Models: A Mathematical Approach to Understanding Emergent Intelligence and Scaling Laws
Arxiv
0+阅读 · 6月22日
WIP: Bridging the Gap Between Instructional Design and Pedagogical Use: A Framework for Mathematics Educators
Arxiv
0+阅读 · 6月18日
Prismriver: Formalization of Music Theory and Algorithmic Composition in Lean 4
Arxiv
0+阅读 · 6月18日
VeriEvol: Scaling Multimodal Mathematical Reasoning via Verifiable Evol-Instruct
Arxiv
0+阅读 · 6月22日
LemmaBench: A Live, Research-Level Benchmark to Evaluate LLM Capabilities in Mathematics
Arxiv
0+阅读 · 6月22日
Framing the 5% Problem: Teachers' Perspectives on Persistence in Educational Technology
Arxiv
0+阅读 · 6月21日
Nothing from Something: Can a Language Model Discover 0?
Arxiv
0+阅读 · 6月18日
A Topos-Theoretic Interpretation of Blockchain Systems: Sheaves of Consensus and the Logic of Decentralized Truth
Arxiv
0+阅读 · 6月17日
参考链接
微信扫码咨询专知VIP会员
Top