Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Breen, Benjamin, Del Tredici, Marco, McCarran, Jacob, Mijares, Javier Aspuru, Yin, Weichen Winston, Sulimany, Kfir, Taylor, Jacob M., Koppens, Frank H. L., Englund, Dirk
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Multiagent Systems
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

TENG: Time-Evolving Natural Gradient for Solving PDEs With Deep Neural Nets Toward Machine Precision
by: Chen, Zhuo, et al.
Published: (2024)

CARES: Collaborative Agentic Reasoning for Error Detection in Surgery
by: Low, Chang Han, et al.
Published: (2025)

Open-Ended Video Game Glitch Detection with Agentic Reasoning and Temporal Grounding
by: Zheng, Muyang, et al.
Published: (2026)

Reasoning-Native Agentic Communication for 6G
by: Seo, Hyowoon, et al.
Published: (2026)

SeeingEye: Agentic Information Flow Unlocks Multimodal Reasoning In Text-only LLMs
by: Zhang, Weijia, et al.
Published: (2025)

VERITAS: Verifiable Epistemic Reasoning for Image-Derived Hypothesis Testing via Agentic Systems
by: Stoffl, Lucas, et al.
Published: (2026)

SemanticALLI: Caching Reasoning, Not Just Responses, in Agentic Systems
by: Chillara, Varun, et al.
Published: (2026)

ARMove: Learning to Predict Human Mobility through Agentic Reasoning
by: Wang, Chuyue, et al.
Published: (2026)

The Influence of Human-inspired Agentic Sophistication in LLM-driven Strategic Reasoners
by: Trencsenyi, Vince, et al.
Published: (2025)

Communications-Incentivized Collaborative Reasoning in NetGPT through Agentic Reinforcement Learning
by: Yu, Xiaoxue, et al.
Published: (2026)

A Blockchain-Monitored Agentic AI Architecture for Trusted Perception-Reasoning-Action Pipelines
by: Jan, Salman, et al.
Published: (2025)

Quantum-secure multiparty deep learning
by: Sulimany, Kfir, et al.
Published: (2024)

Machine Intelligence on Wireless Edge Networks
by: Vadlamani, Sri Krishna, et al.
Published: (2025)

Disaggregated Deep Learning via In-Physics Computing at Radio Frequency
by: Gao, Zhihui, et al.
Published: (2025)

QAMNet: Fast and Efficient Optical QAM Neural Networks
by: Bacvanski, Marc Gong, et al.
Published: (2024)

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
by: Chen, Luoxin, et al.
Published: (2025)

STRIATUM-CTF: A Protocol-Driven Agentic Framework for General-Purpose CTF Solving
by: Hugglestone, James, et al.
Published: (2026)

ReaGAN: Node-as-Agent-Reasoning Graph Agentic Network
by: Guo, Minghao, et al.
Published: (2025)

ARMOR: An Agentic Framework for Reaction Feasibility Prediction via Adaptive Utility-aware Multi-tool Reasoning
by: Liu, Ye, et al.
Published: (2026)

Multi-Agentic Approach for History Matching of Oil Reservoirs
by: Samigullin, Linar, et al.
Published: (2026)

RobustFlow: Towards Robust Agentic Workflow Generation
by: Xu, Shengxiang, et al.
Published: (2025)

ClawMobile: Rethinking Smartphone-Native Agentic Systems
by: Du, Hongchao, et al.
Published: (2026)

GLOW: Graph-Language Co-Reasoning for Agentic Workflow Performance Prediction
by: Guan, Wei, et al.
Published: (2025)

Supporting Dynamic Agentic Workloads: How Data and Agents Interact
by: Giurgiu, Ioana, et al.
Published: (2025)

SAGE: Scalable Agentic Grounded Evaluation for Crop Disease Diagnosis
by: Arshad, Muhammad Arbab, et al.
Published: (2026)

Agentic LLM Workflows for Generating Patient-Friendly Medical Reports
by: Sudarshan, Malavikha, et al.
Published: (2024)

Physics-Informed EvolveGCN: Satellite Prediction for Multi Agent Systems
by: Huber, Timothy Jacob, et al.
Published: (2025)

AgentWebBench: Benchmarking Multi-Agent Coordination in Agentic Web
by: Zhong, Shanshan, et al.
Published: (2026)

AgenticPrecoding: LLM-Empowered Multi-Agent System for Precoding Optimization
by: Yang, Zijiu, et al.
Published: (2026)

Agentic Systems: A Guide to Transforming Industries with Vertical AI Agents
by: Bousetouane, Fouad
Published: (2025)

Agentifying Agentic AI
by: Dignum, Virginia, et al.
Published: (2025)

Sci-Mind: Cognitively-Inspired Adversarial Debate for Autonomous Mathematical Modeling
by: Jia, Junhao, et al.
Published: (2026)

ASAP: an Agentic Solution to Auto-optimize Performance of Large-Scale LLM Training
by: Ding, Yuran, et al.
Published: (2025)

SwarmAgentic: Towards Fully Automated Agentic System Generation via Swarm Intelligence
by: Zhang, Yao, et al.
Published: (2025)

MermaidFlow: Redefining Agentic Workflow Generation via Safety-Constrained Evolutionary Programming
by: Zheng, Chengqi, et al.
Published: (2025)

A Network Simulation of OTC Markets with Multiple Agents
by: Wilkinson, James T., et al.
Published: (2024)

ReSo: A Reward-driven Self-organizing LLM-based Multi-Agent System for Reasoning Tasks
by: Zhou, Heng, et al.
Published: (2025)

TechGraphRAG: An Agentic Graph-Augmented RAG Framework for Technical Literature Reasoning
by: Singh, Kanwar Bharat
Published: (2026)

Agentic Lybic: Multi-Agent Execution System with Tiered Reasoning and Orchestration
by: Guo, Liangxuan, et al.
Published: (2025)

Agentic AI for Education: A Unified Multi-Agent Framework for Personalized Learning and Institutional Intelligence
by: J, Arya Mary K, et al.
Published: (2026)