Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-25T07:46:30.936002Z
Paper Citation Record · LEDGER
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
As of 14 August 2026, this Paper Citation Record lists 73 of 73 outbound references and 19 inbound Pith citation observations for arXiv:2510.12787.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-12T05:09:21.794563Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-08-05T02:28:24.338817Z
Reference resolution
73 of 73 outbound references displayed
- verified exact22
- verified fuzzy48
- unresolved2
- parse uncertain0
- malformed identifier0
- metadata mismatch1
External citation measurements
0
pith, observed 2026-08-05T02:28:24.338817Z
Outbound references
Observation cb4b96a6-01d6-44cc-8895-b2c31ba64375 · outbound
This paper cites arXiv.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics arXiv
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.331905Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation f6359ba9-06d4-45ed-b2e0-36a4b57bf111 · outbound
This paper cites Aristotle: IMO-level Automated Theorem Proving.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Aristotle: IMO-level Automated Theorem Proving
Reference 2
- Resolution
- verified exact
- local_arxiv, observed 2026-05-25T07:46:42.171818Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 5bf4fcfc-d1e4-481c-9516-5b1fa74cb0f1 · outbound
This paper cites Claude 3.7 sonnet and claude code.https://www.anthropic.com/news/ claude-3-7-sonnet.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Claude 3.7 sonnet and claude code.https://www.anthropic.com/news/ claude-3-7-sonnet
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.409745Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 95471139-e6ac-4a19-b1d2-54b5b52861e5 · outbound
This paper cites Claude 4.https://www.anthropic.com/news/claude-4.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Claude 4.https://www.anthropic.com/news/claude-4
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.457832Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 814b819d-d42f-4e61-b8bf-4ce0976b1637 · outbound
This paper cites Claude documentation.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Claude documentation
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.461088Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 8952f2b4-0820-4222-a3d6-eef3d703e0d8 · outbound
This paper cites Claude opus 4.1.https://www.anthropic.com/claude/opus.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Claude opus 4.1.https://www.anthropic.com/claude/opus
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.364285Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 0de396a2-29b5-4cb2-a2ac-69a80b4d73de · outbound
This paper cites Introducing claude haiku 4.5, October 2025.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Introducing claude haiku 4.5, October 2025
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.452430Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation ef05736d-aba4-4511-8472-045815be367d · outbound
This paper cites Harvard Glaucoma Fairness: A Retinal Nerve Disease Dataset for Fairness Learning and Fair Identity Normalization.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Harvard Glaucoma Fairness: A Retinal Nerve Disease Dataset for Fairness Learning and Fair Identity Normalization
Reference 8
- Resolution
- verified exact
- arxiv_id, observed 2026-05-25T07:46:42.228603Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation acad415c-f675-41fe-b950-495c44317470 · outbound
This paper cites Formal proving with llms: Lean as a benchmark.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Formal proving with llms: Lean as a benchmark
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.379823Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation acb87d86-5134-4f27-8c09-35d1b98df061 · outbound
This paper cites Prover agent: An agent-based framework for formal mathematical proofs.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Prover agent: An agent-based framework for formal mathematical proofs
Reference 10
- Resolution
- verified exact
- arxiv_id, observed 2026-05-25T07:46:42.223592Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 60d682b7-0db0-422b-b073-1a67a2a63e6a · outbound
This paper cites Satisfiability modulo theories: An appe- tizer.Communications of the ACM, 65(6):69–77.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Satisfiability modulo theories: An appe- tizer.Communications of the ACM, 65(6):69–77
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.442103Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 45d6b0bb-b834-4301-a24c-1b05ecdb3a45 · outbound
This paper cites Computer-aided security proofs for the working cryptographer.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Computer-aided security proofs for the working cryptographer
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.442433Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation e8af36d1-3a81-4b43-8fca-2ae12ea93e6d · outbound
This paper cites Tactician: Lean proof automation with knn.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Tactician: Lean proof automation with knn
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.401615Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 7589c558-1fd5-4e62-bcc2-623044ea47e3 · outbound
This paper cites A computationally sound mechanized prover for security protocols.IEEE Transactions on Dependable and Secure Computing, 5(4):193–207.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics A computationally sound mechanized prover for security protocols.IEEE Transactions on Dependable and Secure Computing, 5(4):193–207
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.402368Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation b8ee1b25-e536-4372-96b1-e6c7ca508ad7 · outbound
This paper cites Knudsen, Gregor Leander, Ventzislav Nikov, Christof Paar, Christian Rechberger, Peter Rombouts, Søren S.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Knudsen, Gregor Leander, Ventzislav Nikov, Christof Paar, Christian Rechberger, Peter Rombouts, Søren S
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.375811Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 1be85c56-c33a-4903-9e0d-5fea6eccf2cd · outbound
This paper cites Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
Reference 16
- Resolution
- verified exact
- arxiv_id, observed 2026-05-25T07:46:42.293176Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 490b6d66-2b55-434e-a746-91f91ef7494c · outbound
This paper cites Evaluating Large Language Models Trained on Code.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Evaluating Large Language Models Trained on Code
Reference 17
- Resolution
- verified exact
- local_arxiv, observed 2026-05-25T07:46:42.249410Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 1c1248b7-3fba-4b0c-8658-50d09afa8604 · outbound
This paper cites Quantum algorithms for lattice problems.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Quantum algorithms for lattice problems
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.321119Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 6040881e-fa8d-4d76-9d18-ee48c171caae · outbound
This paper cites Gold-medalist performance in solving olympiad geometry with alphageometry2.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Gold-medalist performance in solving olympiad geometry with alphageometry2
Reference 19
- Resolution
- verified exact
- arxiv_id, observed 2026-05-25T07:46:42.217955Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 7a2ff589-f9d7-486d-80be-5987d5610002 · outbound
This paper cites Llms as conversational partners for mathematicians.arXiv preprint arXiv:2305.XXXX.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Llms as conversational partners for mathematicians.arXiv preprint arXiv:2305.XXXX
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.383095Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 284ffacf-198f-48e5-9e23-38286fdbcd65 · outbound
This paper cites Z3: An efficient smt solver.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Z3: An efficient smt solver
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.430082Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 4a311c03-a8c6-420e-b2e4-82256f0605eb · outbound
This paper cites The lean theorem prover (system description).
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics The lean theorem prover (system description)
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.324371Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 5ab4c11e-effa-476b-8a2a-9a866459370b · outbound
This paper cites Deepseek-prover-v1 dataset.https://huggingface.co/datasets/deepseek-ai/ DeepSeek-Prover-V1.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Deepseek-prover-v1 dataset.https://huggingface.co/datasets/deepseek-ai/ DeepSeek-Prover-V1
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.460039Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation d32cf615-2c58-42e4-882c-653d9a8d9e07 · outbound
This paper cites Deepseek-prover-v2-671b.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Deepseek-prover-v2-671b
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.477868Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 6ca258d7-0d6c-45d1-901d-cb1cca92c8e4 · outbound
This paper cites Lean-lsp-mcp: Tools for agentic interaction with the lean theorem prover, 3 2025.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Lean-lsp-mcp: Tools for agentic interaction with the lean theorem prover, 3 2025
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.470795Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation b29595a8-7096-4256-9bab-71586af1cd7c · outbound
This paper cites Abstract algebra.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Abstract algebra
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.438204Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation adfb047e-1fb5-45df-80a7-882de1a39029 · outbound
This paper cites an unresolved cited work.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Unresolved cited work
Reference 27
- Resolution
- unresolved
- raw_fallback, observed 2026-05-25T07:46:42.396461Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 6dbaf481-c1ed-4a32-a4a9-ec43e7e459ce · outbound
This paper cites Tactictoe: Learning to prove with tactics.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Tactictoe: Learning to prove with tactics
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.433250Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 4909f774-86e3-4758-9e61-5f48301082a2 · outbound
This paper cites Towards an AI co-scientist.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Towards an AI co-scientist
Reference 29
- Resolution
- verified exact
- local_arxiv, observed 2026-05-25T07:46:42.244689Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 20fb5296-c4bc-4e47-a07b-32f31f164d1a · outbound
This paper cites Learning to prove theorems via interacting with proof assistants.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Learning to prove theorems via interacting with proof assistants
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.399441Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation ee8032d8-0d1c-4e9b-9243-a192de296311 · outbound
This paper cites Alemi, et al.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Alemi, et al
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.360286Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation ad740e91-cb87-45cc-a0fb-bd51969802d0 · outbound
This paper cites Another look at” provable security”.Journal of Cryptology, 20(1):3–37.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Another look at” provable security”.Journal of Cryptology, 20(1):3–37
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.317482Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 6b8cc1ac-fc3c-441c-bac5-55641c53f420 · outbound
This paper cites First-order theorem proving and vampire.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics First-order theorem proving and vampire
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.434654Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation db4bfa15-d1cb-4c0c-9bca-9a073bcfad9b · outbound
This paper cites LeanAgent: Lifelong Learning for Formal Theorem Proving.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics LeanAgent: Lifelong Learning for Formal Theorem Proving
Reference 34
- Resolution
- verified exact
- arxiv_id, observed 2026-05-25T07:46:42.246246Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 2d958898-c28f-4288-9e58-01bad054dd79 · outbound
This paper cites Deep reinforcement learning for theorem proving.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Deep reinforcement learning for theorem proving
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.398021Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation ac32b82c-634b-4ece-ba0a-2155b9a55c35 · outbound
This paper cites Mathlib statistics.https://leanprover-community.github.io/ mathlib_stats.html.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Mathlib statistics.https://leanprover-community.github.io/ mathlib_stats.html
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.405459Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 6576da80-ee72-48f5-b220-4784303a7170 · outbound
This paper cites Numinamath.[https://huggingface.co/AI-MO/NuminaMath-1.5](https: //github.com/project-numina/aimo-progress-prize/blob/main/report/numina_ dataset.pdf).
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Numinamath.[https://huggingface.co/AI-MO/NuminaMath-1.5](https: //github.com/project-numina/aimo-progress-prize/blob/main/report/numina_ dataset.pdf)
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.467197Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation af97df18-337a-41eb-a7f2-af095c4bf560 · outbound
This paper cites Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
Reference 38
- Resolution
- verified exact
- arxiv_id, observed 2026-05-25T07:46:42.240726Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 31f324a4-3fb1-45ac-aa6b-8a12300f071a · outbound
This paper cites Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
Reference 39
- Resolution
- verified exact
- local_arxiv, observed 2026-05-25T07:46:42.282760Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 08ad7065-bb2f-4454-841c-7cf8e7095b11 · outbound
This paper cites Unconditional Security Of Quantum Key Distribution Over Arbitrarily Long Distances.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Unconditional Security Of Quantum Key Distribution Over Arbitrarily Long Distances
Reference 40
- Resolution
- verified exact
- local_arxiv, observed 2026-05-25T07:46:42.297218Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 74d43cdc-1948-4431-a689-e7b0318df971 · outbound
This paper cites Unconditional security of quantum key distribution over arbitrarily long distances.science, 283(5410):2050–2056.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Unconditional security of quantum key distribution over arbitrarily long distances.science, 283(5410):2050–2056
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.447873Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation e3c2d96d-08d8-45c2-8fe4-5ac07c426413 · outbound
This paper cites Process-driven autoformalization in lean 4.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Process-driven autoformalization in lean 4
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.336823Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 35826b08-1277-4883-bdee-d334ebab764e · outbound
This paper cites Introducing gauss, an agent for autoformalization.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Introducing gauss, an agent for autoformalization
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.394271Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 2cb378ed-d4c4-48d6-8c49-d0eb4fe6a748 · outbound
This paper cites A formalization of the generalized quantum stein’s lemma in lean.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics A formalization of the generalized quantum stein’s lemma in lean
Reference 44
- Resolution
- verified exact
- arxiv_id, observed 2026-05-25T07:46:42.251528Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 3033d040-4be3-463e-b3df-5899d02c8ce8 · outbound
This paper cites A New Algorithm for Computing Branch Number of Non-Singular Matrices over Finite Fields.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics A New Algorithm for Computing Branch Number of Non-Singular Matrices over Finite Fields
Reference 45
- Resolution
- verified exact
- arxiv_id, observed 2026-05-25T07:46:42.273226Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation e3e97ee7-2f35-4d99-9865-6ac53ddd8001 · outbound
This paper cites What is the model context protocol (mcp)?https://modelcontextprotocol.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics What is the model context protocol (mcp)?https://modelcontextprotocol
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.422330Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation bcc2d0bd-3962-4106-8035-556ac00fe69a · outbound
This paper cites Robust de-anonymization of large sparse datasets.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Robust de-anonymization of large sparse datasets
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.456324Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 7f373d3d-f42c-496b-9634-836a94f7da01 · outbound
This paper cites Advanced encryption standard (aes).
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Advanced encryption standard (aes)
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.408644Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 6a0e15b3-1d1d-43da-b5d5-71a8067c6713 · outbound
This paper cites Cambridge university press.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Cambridge university press
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.463235Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation fecde214-33c3-4476-a27c-a2d01f36e548 · outbound
This paper cites Numinamath-lean dataset.https://huggingface.co/datasets/AI-MO/ NuminaMath-LEAN.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Numinamath-lean dataset.https://huggingface.co/datasets/AI-MO/ NuminaMath-LEAN
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.413419Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 7558e6ff-b195-41e8-8bc0-1c710277f077 · outbound
This paper cites Openai models documentation.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Openai models documentation
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.481219Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation bf5468ad-d310-4b1c-9ff2-5240547d1c71 · outbound
This paper cites Apollo: Automated llm and lean collaboration for advanced formal reasoning.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Apollo: Automated llm and lean collaboration for advanced formal reasoning
Reference 52
- Resolution
- verified exact
- arxiv_id, observed 2026-05-25T07:46:42.278531Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation f56a8280-e33f-4aa0-9d6f-4c7f76d62611 · outbound
This paper cites Formal mathematics statement curriculum learning.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Formal mathematics statement curriculum learning
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.429708Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 64cf1d80-2697-489f-832d-a75e41150dd4 · outbound
This paper cites Generative language modeling for automated theorem proving.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Generative language modeling for automated theorem proving
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.335323Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation bf9f7d7b-a1b2-4b1b-9172-a0c6b95d5a48 · outbound
This paper cites DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition
Reference 55
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-05-25T07:46:42.217034Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 3a7b19a6-b5aa-4b15-b37b-a4cb6742f8e8 · outbound
This paper cites an unresolved cited work.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Unresolved cited work
Reference 56
- Resolution
- unresolved
- raw_fallback, observed 2026-05-25T07:46:42.357622Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 9331e976-49a9-4c4f-99de-5248c1e0ea79 · outbound
This paper cites E prover 2.0: Integrating equational and first-order logic.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics E prover 2.0: Integrating equational and first-order logic
Reference 57
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.345912Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 79f32de1-739d-4599-95cb-d11fa51a2ef7 · outbound
This paper cites Simple proof of security of the bb84 quantum key distribution protocol.Physical review letters, 85(2):441.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Simple proof of security of the bb84 quantum key distribution protocol.Physical review letters, 85(2):441
Reference 58
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.393340Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 9b94f5ab-5345-4bbf-8031-e406882d7a5b · outbound
This paper cites Sequences of games: a tool for taming complexity in security proofs.cryptology eprint archive.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Sequences of games: a tool for taming complexity in security proofs.cryptology eprint archive
Reference 59
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.451105Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation b15df685-45db-4452-af46-4f399ce00e9e · outbound
This paper cites Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean
Reference 60
- Resolution
- verified exact
- arxiv_id, observed 2026-05-25T07:46:42.199875Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation c5b220d2-fd05-4c40-b8df-57ae591f4bd6 · outbound
This paper cites k-anonymity: A model for protecting privacy.International journal of uncertainty, fuzziness and knowledge-based systems, 10(05):557–570.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics k-anonymity: A model for protecting privacy.International journal of uncertainty, fuzziness and knowledge-based systems, 10(05):557–570
Reference 61
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.448514Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation a4e4c768-6a31-4eec-96c9-164155822082 · outbound
This paper cites Putnambench leaderboard.https://trishullab.github.io/PutnamBench/ leaderboard.html.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Putnambench leaderboard.https://trishullab.github.io/PutnamBench/ leaderboard.html
Reference 62
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.438564Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 2b687df6-7d6c-4d05-8bc7-e3dd2d9637f2 · outbound
This paper cites Putnambench: Evaluating neural theorem-provers on the putnam mathematical competi- tion.Advances in Neural Information Processing Systems, 37:11545–11569.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Putnambench: Evaluating neural theorem-provers on the putnam mathematical competi- tion.Advances in Neural Information Processing Systems, 37:11545–11569
Reference 63
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.405134Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 56b69a7a-6c15-4621-921e-c129e9dc55f6 · outbound
This paper cites Machine learning preselected proof steps.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Machine learning preselected proof steps
Reference 64
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.454506Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 20cca8fe-06c7-44f0-9c6b-a93e2935c150 · outbound
This paper cites Hilbert: Recursively building formal proofs with informal reasoning.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Hilbert: Recursively building formal proofs with informal reasoning
Reference 65
- Resolution
- verified exact
- arxiv_id, observed 2026-05-25T07:46:42.234700Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation eae7a43f-8abf-4edc-93a5-fe965241db31 · outbound
This paper cites Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 66
- Resolution
- verified exact
- local_arxiv, observed 2026-05-25T07:46:42.205219Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation cf48dbd3-6aeb-48ff-b453-36f5581623c8 · outbound
This paper cites Autoformalization in the Era of Large Language Models: A Survey.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Autoformalization in the Era of Large Language Models: A Survey
Reference 67
- Resolution
- verified exact
- arxiv_id, observed 2026-05-25T07:46:42.287891Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation f33d3494-f673-492a-b52d-13112b6d4c3a · outbound
This paper cites DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
Reference 68
- Resolution
- verified exact
- arxiv_id, observed 2026-05-25T07:46:42.255374Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 038c7cfd-b0ef-4822-afaf-c0087f287699 · outbound
This paper cites DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search
Reference 69
- Resolution
- verified exact
- arxiv_id, observed 2026-05-25T07:46:42.257511Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 29cd6908-7ca6-4f20-864f-a6433764481c · outbound
This paper cites Leandojo: Theorem proving with large language models.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Leandojo: Theorem proving with large language models
Reference 70
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.474615Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 2e7de118-ae21-4b09-8507-1e56ffb0d7b7 · outbound
This paper cites The AI Scientist-v2: Workshop-Level Automated Scientific Discovery via Agentic Tree Search.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics The AI Scientist-v2: Workshop-Level Automated Scientific Discovery via Agentic Tree Search
Reference 71
- Resolution
- verified exact
- local_arxiv, observed 2026-05-25T07:46:42.228416Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation d405b3c6-574b-41a0-a165-c3bd3e4a4798 · outbound
This paper cites Lean workbook: A large-scale lean problem set formalized from natural language math problems.https://arxiv.org/abs/2406.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Lean workbook: A large-scale lean problem set formalized from natural language math problems.https://arxiv.org/abs/2406
Reference 72
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T07:46:42.426170Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 3bdd9fb2-dcc6-44e9-a9d5-2ee59fca8884 · outbound
This paper cites MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics.
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics
Reference 73
- Resolution
- verified exact
- local_arxiv, observed 2026-05-25T07:46:42.267188Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Pith citing papers
Observation 4ba25b81-c9fd-47f2-80f0-5231aa33778e · inbound
Automated Conjecture Resolution with Formal Verification cites this paper.
Automated Conjecture Resolution with Formal Verification Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
Reference 6
- Resolution
- verified exact
- arxiv_id, observed 2026-05-25T03:01:07.455590Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 19aba3d3-1de9-4a4e-a1d0-319925b4895c · inbound
Automated Conjecture Resolution with Formal Verification cites this paper.
Automated Conjecture Resolution with Formal Verification Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-07-13T12:18:10.165894Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8c92f45a-cda3-4001-a991-4d1cf6844f6f · inbound
The Topological Dual of a Dataset: A Logic-to-Topology Encoding for AlphaGeometry-Style Data cites this paper.
The Topological Dual of a Dataset: A Logic-to-Topology Encoding for AlphaGeometry-Style Data Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
Reference 4
- Resolution
- verified exact
- arxiv_id, observed 2026-05-25T03:01:07.455590Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 73d89d4e-d8be-42e1-84b2-4fa5332561a1 · inbound
The Topological Dual of a Dataset: A Logic-to-Topology Encoding for AlphaGeometry-Style Data cites this paper.
The Topological Dual of a Dataset: A Logic-to-Topology Encoding for AlphaGeometry-Style Data Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
Reference 4
- Resolution
- verified exact
- local_arxiv, observed 2026-07-05T14:31:09.369891Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation dbc44bf3-52ac-442d-82fa-d3727653a14c · inbound
Fine-Tuning Small Reasoning Models for Quantum Field Theory cites this paper.
Fine-Tuning Small Reasoning Models for Quantum Field Theory Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
Reference 19
- Resolution
- verified exact
- arxiv_id, observed 2026-05-25T03:01:07.455590Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 82b2761d-1161-45f1-b92b-dfd3889f449c · inbound
NeuroClaw Technical Report cites this paper.
NeuroClaw Technical Report Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
Reference 17
- Resolution
- verified exact
- arxiv_id, observed 2026-05-25T03:01:07.455590Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation ea384aea-0bd3-4e69-a25f-aee794eea51b · inbound
LLMs with in-context learning for Algorithmic Theoretical Physics cites this paper.
LLMs with in-context learning for Algorithmic Theoretical Physics Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
Reference 5
- Resolution
- verified exact
- arxiv_id, observed 2026-05-25T03:01:07.455590Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 43d9a938-62ac-4df5-be71-a5a790d4192c · inbound
Automating Formal Verification with Agent-Guided Tree Search cites this paper.
Automating Formal Verification with Agent-Guided Tree Search Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
Reference 94
- Resolution
- verified exact
- local_arxiv, observed 2026-06-29T15:03:31.304650Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 38119245-a757-47c6-88e0-d9f1b665dcb9 · inbound
Automating Formal Verification with Reinforcement Learning and Recursive Inference cites this paper.
Automating Formal Verification with Reinforcement Learning and Recursive Inference Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
Reference 123
- Resolution
- verified exact
- local_arxiv, observed 2026-06-28T23:52:49.203468Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation ec92262b-bf54-48bb-b8da-186ef5e6589d · inbound
Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory cites this paper.
Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
Reference 5
- Resolution
- verified exact
- local_arxiv, observed 2026-07-02T08:36:48.581919Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation ce07760c-8481-4627-86e7-6fffb9f3d33d · inbound
LAMP: Lean-based Agentic framework with MCP and Proof Repair cites this paper.
LAMP: Lean-based Agentic framework with MCP and Proof Repair Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
Reference 5
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-06-30T08:44:27.811322Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation bfe2734e-77a4-44ac-9917-ed8002fea55c · inbound
A Machine-Verified Proof of a Quantum-Optimization Conjecture cites this paper.
A Machine-Verified Proof of a Quantum-Optimization Conjecture Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
Reference 11
- Resolution
- verified exact
- local_arxiv, observed 2026-06-30T06:44:19.017321Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 38992dc1-3d0c-4534-8781-2a97884be2d0 · inbound
Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics cites this paper.
Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
Reference 29
- Resolution
- verified exact
- local_arxiv, observed 2026-07-01T10:05:40.879695Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 6dd7d0cc-4410-4fd8-b43b-8d4609f74a77 · inbound
Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics cites this paper.
Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
Reference 29
- Resolution
- verified exact
- local_arxiv, observed 2026-07-03T22:39:01.226621Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation e45fcfb5-4b78-4adc-9a19-8f9ff9030fe1 · inbound
When AI meets quantum information: A comprehensive review cites this paper.
When AI meets quantum information: A comprehensive review Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
Reference 56
- Resolution
- verified exact
- local_arxiv, observed 2026-07-02T12:46:56.400972Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation ea05303d-ee0d-4056-bb0e-c4fefefd67cb · inbound
Credit Cards, Confusion, Computation, and Consequences: What Can We Uncover About Language Model Reasoning? cites this paper.
Credit Cards, Confusion, Computation, and Consequences: What Can We Uncover About Language Model Reasoning? Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
Reference 121
- Resolution
- unresolved
- no resolver link, observed 2026-07-30T16:01:42.378683Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cc9d68b2-68c7-4d96-9855-212485ae3efa · inbound
Can AI Follow In Einstein's Footsteps? cites this paper.
Can AI Follow In Einstein's Footsteps? Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
Reference 127
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T01:19:20.677062Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8a8bcea1-da7f-4b9a-96be-8d083079a001 · inbound
New Lower and Upper Bounds for the Grothendieck Constant cites this paper.
New Lower and Upper Bounds for the Grothendieck Constant Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
Reference 161
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T05:09:21.794563Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 70015c2c-3ec0-44ae-bb45-11e95b157370 · inbound
Long-Horizon AI Research for Grothendieck Constant: A Case Study in Human-AI Mathematical Collaboration cites this paper.
Long-Horizon AI Research for Grothendieck Constant: A Case Study in Human-AI Mathematical Collaboration Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
Reference 148
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T04:25:32.315958Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.