会员服务
数学是关于数量、结构、变化等主题的探索。
I-RAVEN-X: Benchmarking Generalization and Robustness of Analogical and Mathematical Reasoning in Large Language and Reasoning Models
I-RAVEN-X: Benchmarking Generalization and Robustness of Analogical and Mathematical Reasoning in Large Language and Reasoning Models
Arxiv
0+阅读 · 10月31日
Temporal Cardiovascular Dynamics for Improved PPG-Based Heart Rate Estimation
Temporal Cardiovascular Dynamics for Improved PPG-Based Heart Rate Estimation
Arxiv
0+阅读 · 10月31日
Mathematics Isn't Culture-Free: Probing Cultural Gaps via Entity and Scenario Perturbations
Mathematics Isn't Culture-Free: Probing Cultural Gaps via Entity and Scenario Perturbations
Arxiv
0+阅读 · 10月31日
Beamforming in the Reproducing Kernel Domain Based on Spatial Differentiation
Beamforming in the Reproducing Kernel Domain Based on Spatial Differentiation
Arxiv
0+阅读 · 10月31日
SIGMA: Search-Augmented On-Demand Knowledge Integration for Agentic Mathematical Reasoning
Arxiv
0+阅读 · 10月31日
A gradient flow model for the Gross--Pitaevskii problem: Mathematical and numerical analysis
Arxiv
0+阅读 · 10月31日
Assembly Theory Reduced to Shannon Entropy and Rendered Redundant by Naive Statistical Algorithms
Arxiv
0+阅读 · 10月31日
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日
参考链接
子主题
金融数学
数学物理方法
线性代数
矩阵论
高等数学
数学家
卷积
应用数学
趣味数学
离散数学
正则化
概率论
马氏距离
数学建模
微信扫码咨询专知VIP会员
Top