会员服务
通常认为，高等数学是由微积分学，较深入的代数学、几何学以及它们之间的交叉内容所形成的一门基础学科。
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Arxiv
0+阅读 · 11月22日
LLaMA-Berry: Pairwise Optimization for O1-like Olympiad-Level Mathematical Reasoning
Arxiv
0+阅读 · 11月21日
Resources of the Quantum World
Arxiv
0+阅读 · 11月18日
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Arxiv
0+阅读 · 11月14日
Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean 4
Arxiv
0+阅读 · 11月8日
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Arxiv
0+阅读 · 11月7日
Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean 4
Arxiv
0+阅读 · 10月31日
Process-Driven Autoformalization in Lean 4
Arxiv
0+阅读 · 10月14日
An Overview of zbMATH Open Digital Library
Arxiv
0+阅读 · 10月9日
AI for Mathematics Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean4
Arxiv
0+阅读 · 9月9日
Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-Improvement
Arxiv
0+阅读 · 9月18日
MACM: Utilizing a Multi-Agent System for Condition Mining in Solving Complex Mathematical Problems
Arxiv
0+阅读 · 7月22日
VerityMath: Advancing Mathematical Reasoning by Self-Verification Through Unit Consistency
Arxiv
0+阅读 · 7月21日
Process-Driven Autoformalization in Lean 4
Arxiv
0+阅读 · 6月4日
Data-driven Error Estimation: Upper Bounding Multiple Errors with No Technical Debt
Arxiv
0+阅读 · 5月7日
参考链接
父主题
数学
子主题
泰勒级数
微信扫码咨询专知VIP会员
Top