Javier Aspuru Mijares

Identifiers

• name variant Javier Aspuru Mijares 0.60 · backfill

Papers (1)

1. Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics cs.AI · 2025 · author #4

Mentions

• 2510.12787 #4 · arxiv_oai · confidence 0.70 Javier Aspuru Mijares

Frequent Coauthors

• Benjamin Breen 1 shared papers
• Dirk Englund 1 shared papers
• Frank H. L. Koppens 1 shared papers
• Jacob McCarran 1 shared papers
• Jacob M. Taylor 1 shared papers
• Kfir Sulimany 1 shared papers
• Marco Del Tredici 1 shared papers
• Weichen Winston Yin 1 shared papers