会员服务
数学是关于数量、结构、变化等主题的探索。
Directed type theory, with a twist
Arxiv
0+阅读 · 2月19日
Proof-RM: A Scalable and Generalizable Reward Model for Math Proof
Arxiv
0+阅读 · 2月19日
The Quantification Horizon Theory of Consciousness
Arxiv
0+阅读 · 2月18日
Utility-Preserving De-Identification for Math Tutoring: Investigating Numeric Ambiguity in the MathEd-PII Benchmark Dataset
Arxiv
0+阅读 · 2月18日
Hybrid Tabletop Exercise (TTX) based on a Mathematical Simulation-based Model for the Maritime Sector
Arxiv
0+阅读 · 2月17日
Bayesian Quadrature: Gaussian Processes for Integration
Arxiv
0+阅读 · 2月18日
m1: Unleash the Potential of Test-Time Scaling for Medical Reasoning with Large Language Models
Arxiv
0+阅读 · 2月18日
MerLean: An Agentic Framework for Autoformalization in Quantum Computation
Arxiv
0+阅读 · 2月18日
NPG-Muse: Scaling Long Chain-of-Thought Reasoning with NP-Hard Graph Problems
Arxiv
0+阅读 · 2月17日
MMPersistence: A mathematical morphology-oriented software library for computing persistent homology on cubical complexes
Arxiv
0+阅读 · 2月17日
M-polynomial Based Mathematical Formulation of the Hyperbolic Sombor Index
Arxiv
0+阅读 · 2月16日
Proportoids
Arxiv
0+阅读 · 2月12日
Teaching LLMs According to Their Aptitude: Adaptive Reasoning for Mathematical Problem Solving
Arxiv
0+阅读 · 2月12日
In-Context Function Learning in Large Language Models
Arxiv
0+阅读 · 2月12日
Inference-Time Rethinking with Latent Thought Vectors for Math Reasoning
Arxiv
0+阅读 · 2月6日
参考链接
微信扫码咨询专知VIP会员
Top