会员服务
通常认为，高等数学是由微积分学，较深入的代数学、几何学以及它们之间的交叉内容所形成的一门基础学科。
Advancing Mathematical Reasoning in Language Models: The Impact of Problem-Solving Data, Data Synthesis Methods, and Training Stages
Arxiv
0+阅读 · 3月24日
Token-by-Token Regeneration and Domain Biases: A Benchmark of LLMs on Advanced Mathematical Problem-Solving
Arxiv
0+阅读 · 1月28日
Evaluating the Design Features of an Intelligent Tutoring System for Advanced Mathematics Learning
Arxiv
1+阅读 · 2024年12月23日
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Arxiv
0+阅读 · 2024年11月22日
LLaMA-Berry: Pairwise Optimization for O1-like Olympiad-Level Mathematical Reasoning
Arxiv
0+阅读 · 2024年11月21日
Resources of the Quantum World
Arxiv
0+阅读 · 2024年11月18日
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Arxiv
0+阅读 · 2024年11月14日
Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean 4
Arxiv
0+阅读 · 2024年11月8日
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Arxiv
0+阅读 · 2024年11月7日
Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean 4
Arxiv
0+阅读 · 2024年10月31日
Process-Driven Autoformalization in Lean 4
Arxiv
0+阅读 · 2024年10月14日
An Overview of zbMATH Open Digital Library
Arxiv
0+阅读 · 2024年10月9日
AI for Mathematics Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean4
Arxiv
0+阅读 · 2024年9月9日
Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-Improvement
Arxiv
0+阅读 · 2024年9月18日
MACM: Utilizing a Multi-Agent System for Condition Mining in Solving Complex Mathematical Problems
Arxiv
0+阅读 · 2024年7月22日
参考链接
父主题
数学
子主题
泰勒级数
微信扫码咨询专知VIP会员
Top