Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics

arXiv:2510.12787 · cs.AI, cs.MA · Submitted 2025-10-14 · Read on arXiv

cs.AI, cs.MA

Submitted: 2025-10-14

Updated: 2026-10-29

Terminology

• Benchmark — 4× in this paper · explained in 2 episodes
• Agentic Framework — 1× in this paper · explained in 7 episodes
• Formal Verification — 1× in this paper · explained in 2 episodes
• Language Models (LLMs) — 1× in this paper · explained in 2 episodes
• Large Language Models (LLMs) — 1× in this paper · explained in 9 episodes
• Model Context Protocol (MCP) — 1× in this paper · explained in 8 episodes
• Multi-Agent System — 1× in this paper · explained in 7 episodes
• Quantum Physics — 1× in this paper · explained in 12 episodes
• Verification — 1× in this paper · explained in 2 episodes

Related papers

• Multi-Objective Structured Pruning of LLMs for Latency and Model Size Optimization
• MAVEN-T: Reinforced Heterogeneous Distillation for Real-Time Multi-Agent Trajectory Prediction
• Model Discovery Agent: LLM-assisted Bayesian experiment design for data-efficient discovery of mechanistic world models
• Can We Trust Item Response Theory for AI Evaluation?
• Diagnosing Task Insensitivity in Language Agents
• Janus: a Playground for User-Involved Agentic Permission Management