会员服务
数学是关于数量、结构、变化等主题的探索。
Beyond LLM Judge: Mechanical Verification for Agentic Autoformalization
Arxiv
0+阅读 · 10月14日
Routes planning in a condominium company using mathematical optimization
Arxiv
0+阅读 · 10月14日
QEDIA: Quantum Program Verification in Lean
Arxiv
0+阅读 · 10月13日
Explorable Proofs: Making Written Proofs Explorable by Grounding Them in Formal Representations
Arxiv
0+阅读 · 10月14日
KACE: Knowledge-Adaptive Context Engineering for Mathematical Reasoning
Arxiv
0+阅读 · 10月15日
Training-Free On-Policy Distillation
Training-Free On-Policy Distillation
Arxiv
0+阅读 · 10月15日
Defining and Generating Compositional Structure
Arxiv
0+阅读 · 10月14日
Clarity-Driven Adaptive Mission Planning for a Solar-Powered Autonomous Surface Vessel
Arxiv
0+阅读 · 10月14日
ClaimScope: Label-Blind Witness Verification for Mathematical Claim Auditing
Arxiv
0+阅读 · 10月15日
Waypoint-OPD: Transferring RL-Induced Policy Shifts via Gated On-Policy Distillation
Arxiv
0+阅读 · 10月15日
CoTranslator: Reverse to Forward Chain-of-Thought Translator for Reasoning Distillation
Arxiv
0+阅读 · 10月14日
Definition Grounding in Theory-Level Auto-formalization
Arxiv
0+阅读 · 10月13日
Dual-Evolving Reinforcement Learning for Automated Reward Design
Arxiv
0+阅读 · 10月13日
Scaling Multilingual Safety and Reasoning Evaluation through Reasoning-Guided Translation
Arxiv
0+阅读 · 10月14日
From Human Corrections to Learned Segmentations: A Critical Mathematical Review of Information, Learning, and Human Effort
Arxiv
0+阅读 · 10月14日
参考链接
微信扫码咨询专知VIP会员
Top