会员服务
数学是关于数量、结构、变化等主题的探索。
SCALE: Selective Resource Allocation for Overcoming Performance Bottlenecks in Mathematical Test-time Scaling
Arxiv
0+阅读 · 11月29日
FlowRL: Matching Reward Distributions for LLM Reasoning
Arxiv
0+阅读 · 11月4日
Mechanizing Operads with Event-B
Arxiv
0+阅读 · 12月18日
Mathematical Proof as a Litmus Test: Revealing Failure Modes of Advanced Large Reasoning Models
Arxiv
0+阅读 · 12月9日
Model-Based and Sample-Efficient AI-Assisted Math Discovery in Sphere Packing
Arxiv
0+阅读 · 12月4日
Model-Based and Sample-Efficient AI-Assisted Math Discovery in Sphere Packing
Arxiv
0+阅读 · 12月8日
LatencyScope: A System-Level Mathematical Framework for 5G RAN Latency
Arxiv
0+阅读 · 11月26日
Math anxiety and associative knowledge structure are entwined in psychology students but not in Large Language Models like GPT-3.5 and GPT-4o
Arxiv
0+阅读 · 11月3日
Design of a Decentralized Fixed-Income Lending Automated Market Maker Protocol Supporting Arbitrary Maturities
Arxiv
0+阅读 · 12月18日
FATE: A Formal Benchmark Series for Frontier Algebra of Multiple Difficulty Levels
Arxiv
0+阅读 · 11月4日
FATE: A Formal Benchmark Series for Frontier Algebra of Multiple Difficulty Levels
Arxiv
0+阅读 · 11月6日
Shorter but not Worse: Frugal Reasoning via Easy Samples as Length Regularizers in Math RLVR
Arxiv
0+阅读 · 11月2日
Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
Arxiv
0+阅读 · 10月31日
Benchmarking Document Parsers on Mathematical Formula Extraction from PDFs
Arxiv
0+阅读 · 12月10日
Conditional Score Learning for Quickest Change Detection in Markov Transition Kernels
Arxiv
0+阅读 · 11月6日
参考链接
微信扫码咨询专知VIP会员
Top