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!
Description
Description not available.

Similar Items