会员服务
数学是关于数量、结构、变化等主题的探索。
AI Mathematician as a Partner in Advancing Mathematical Discovery - A Case Study in Homogenization Theory
Arxiv
0+阅读 · 10月30日
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
Arxiv
0+阅读 · 10月30日
AMO-Bench: Large Language Models Still Struggle in High School Math Competitions
Arxiv
0+阅读 · 10月30日
SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation
Arxiv
0+阅读 · 10月29日
Teaching Probabilistic Machine Learning in the Liberal Arts: Empowering Socially and Mathematically Informed AI Discourse
Arxiv
0+阅读 · 10月29日
Parrot: A Training Pipeline Enhances Both Program CoT and Natural Language CoT for Reasoning
Arxiv
0+阅读 · 10月29日
Curiosity-driven RL for symbolic equation solving
Curiosity-driven RL for symbolic equation solving
Arxiv
0+阅读 · 10月29日
RLMEval: Evaluating Research-Level Neural Theorem Proving
Arxiv
0+阅读 · 10月29日
Towards a Common Framework for Autoformalization
Arxiv
0+阅读 · 10月29日
Reliable Evaluation and Benchmarks for Statement Autoformalization
Arxiv
0+阅读 · 10月29日
A mathematical study of the excess growth rate
Arxiv
0+阅读 · 10月29日
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
Arxiv
0+阅读 · 10月28日
Fraudulent Publishing in Mathematics: A European Call to Action and How Information Infrastructure Can Help
Arxiv
0+阅读 · 10月26日
MOOSE-Chem: Large Language Models for Rediscovering Unseen Chemistry Scientific Hypotheses
Arxiv
0+阅读 · 10月27日
Rethinking GSPO: The Perplexity-Entropy Equivalence
Arxiv
0+阅读 · 10月27日
参考链接
子主题
金融数学
数学物理方法
线性代数
矩阵论
高等数学
数学家
卷积
应用数学
趣味数学
离散数学
正则化
概率论
马氏距离
数学建模
微信扫码咨询专知VIP会员
Top