{"as_of":"2026-08-14T15:07:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:579914d30c4b5937b56348c3e5903a93698675922c3c256498251d78e8894e23","coverage":[{"denominator":73,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":73,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-25T07:46:30.936002Z","state":"measured"},{"denominator":92,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":92,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+00:00","state":"measured"},{"denominator":19,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":19,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T05:09:21.794563Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"pith","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":0,"observed_at":"2026-08-05T02:28:24.338817Z","source":"pith"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"cited_work":{"arxiv_id":"2510.12787","doi":"10.48550/arxiv.2510.12787","metadata_source":"pith","pith_arxiv_id":"2510.12787","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Ax-prover: A deep reasoning agentic framework for theorem proving in mathematics and quantum physics","venue":"cs.AI","work_id":"aba0c390-c33c-437e-8d78-4b8a6bad930b","year":2025},"citing_paper":{"arxiv_id":"2604.03789","last_updated":"2026-05-30T05:07:37Z","snapshot_observed_at":"2026-07-13T12:18:08.261894Z","submitted_at":"2026-04-04T16:35:16Z","title":"Automated Conjecture Resolution with Formal Verification","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-13T18:05:38.340467Z"},"links":{"cited_paper":"/paper/2510.12787","citing_paper":"/paper/2604.03789"},"observation_digest":"sha256:5e2beba607b6ccafbf5fbf029e5bf802bb3cfd81d7ab64e994601730bed944a7","observation_id":"4ba25b81-c9fd-47f2-80f0-5231aa33778e","resolution":{"observed_at":"2026-05-25T03:01:07.455590Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2510.12787","snapshot_observed_at":"2026-07-13T12:18:10.165894Z","title":"Ax-prover: A deep reasoning agentic framework for theorem proving in mathematics and quantum physics.arXiv preprint arXiv:2510.12787, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2604.03789","last_updated":"2026-05-30T05:07:37Z","snapshot_observed_at":"2026-07-13T12:18:08.261894Z","submitted_at":"2026-04-04T16:35:16Z","title":"Automated Conjecture Resolution with Formal Verification","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-13T12:18:10.165894Z"},"links":{"cited_paper":"/paper/2510.12787","citing_paper":"/paper/2604.03789"},"observation_digest":"sha256:c5aa958c4758b9a7070f57303eec37ef2a333c1ef87fa1cbad6dfb4ea66228b6","observation_id":"19aba3d3-1de9-4a4e-a1d0-319925b4895c","resolution":{"observed_at":"2026-07-13T12:18:10.165894Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"cited_work":{"arxiv_id":"2510.12787","doi":"10.48550/arxiv.2510.12787","metadata_source":"pith","pith_arxiv_id":"2510.12787","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Ax-prover: A deep reasoning agentic framework for theorem proving in mathematics and quantum physics","venue":"cs.AI","work_id":"aba0c390-c33c-437e-8d78-4b8a6bad930b","year":2025},"citing_paper":{"arxiv_id":"2604.18050","last_updated":"2026-06-06T08:37:26Z","snapshot_observed_at":"2026-08-02T16:57:39.622042Z","submitted_at":"2026-04-20T10:18:08Z","title":"The Topological Dual of a Dataset: A Logic-to-Topology Encoding for AlphaGeometry-Style Data","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-10T04:58:24.217267Z"},"links":{"cited_paper":"/paper/2510.12787","citing_paper":"/paper/2604.18050"},"observation_digest":"sha256:7c563a5d40aa2053406ae1a95228fa8cb32c63edddd42b2c9314c853d44efa8f","observation_id":"8c92f45a-cda3-4001-a991-4d1cf6844f6f","resolution":{"observed_at":"2026-05-25T03:01:07.455590Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"cited_work":{"arxiv_id":"2510.12787","doi":"10.48550/arxiv.2510.12787","metadata_source":"pith","pith_arxiv_id":"2510.12787","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Ax-prover: A deep reasoning agentic framework for theorem proving in mathematics and quantum physics","venue":"cs.AI","work_id":"aba0c390-c33c-437e-8d78-4b8a6bad930b","year":2025},"citing_paper":{"arxiv_id":"2604.18050","last_updated":"2026-06-06T08:37:26Z","snapshot_observed_at":"2026-08-02T16:57:39.622042Z","submitted_at":"2026-04-20T10:18:08Z","title":"The Topological Dual of a Dataset: A Logic-to-Topology Encoding for AlphaGeometry-Style Data","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-05T14:25:18.768204Z"},"links":{"cited_paper":"/paper/2510.12787","citing_paper":"/paper/2604.18050"},"observation_digest":"sha256:00b8ffd086a18f0bdb9bb256626bf4c9d758260a9ff8744b91ea0efaa53be149","observation_id":"73d89d4e-d8be-42e1-84b2-4fa5332561a1","resolution":{"observed_at":"2026-07-05T14:31:09.369891Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"cited_work":{"arxiv_id":"2510.12787","doi":"10.48550/arxiv.2510.12787","metadata_source":"pith","pith_arxiv_id":"2510.12787","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Ax-prover: A deep reasoning agentic framework for theorem proving in mathematics and quantum physics","venue":"cs.AI","work_id":"aba0c390-c33c-437e-8d78-4b8a6bad930b","year":2025},"citing_paper":{"arxiv_id":"2604.18936","last_updated":"2026-04-21T00:21:05Z","snapshot_observed_at":"2026-07-06T23:05:39.724237Z","submitted_at":"2026-04-21T00:21:05Z","title":"Fine-Tuning Small Reasoning Models for Quantum Field Theory","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-10T03:23:18.770963Z"},"links":{"cited_paper":"/paper/2510.12787","citing_paper":"/paper/2604.18936"},"observation_digest":"sha256:a7cde7171f2aad7366b577295d2f4ee3bf90ead72099d61819efe28c152ddbdd","observation_id":"dbc44bf3-52ac-442d-82fa-d3727653a14c","resolution":{"observed_at":"2026-05-25T03:01:07.455590Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"cited_work":{"arxiv_id":"2510.12787","doi":"10.48550/arxiv.2510.12787","metadata_source":"pith","pith_arxiv_id":"2510.12787","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Ax-prover: A deep reasoning agentic framework for theorem proving in mathematics and quantum physics","venue":"cs.AI","work_id":"aba0c390-c33c-437e-8d78-4b8a6bad930b","year":2025},"citing_paper":{"arxiv_id":"2604.24696","last_updated":"2026-06-16T05:47:56Z","snapshot_observed_at":"2026-08-11T16:23:38.799630Z","submitted_at":"2026-04-27T16:57:14Z","title":"NeuroClaw Technical Report","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-08T04:31:26.859940Z"},"links":{"cited_paper":"/paper/2510.12787","citing_paper":"/paper/2604.24696"},"observation_digest":"sha256:686a2ec545e46f7e2fd52e8c6cf4ba3b728688c81097aef05929f5af2b153641","observation_id":"82b2761d-1161-45f1-b92b-dfd3889f449c","resolution":{"observed_at":"2026-05-25T03:01:07.455590Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"cited_work":{"arxiv_id":"2510.12787","doi":"10.48550/arxiv.2510.12787","metadata_source":"pith","pith_arxiv_id":"2510.12787","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Ax-prover: A deep reasoning agentic framework for theorem proving in mathematics and quantum physics","venue":"cs.AI","work_id":"aba0c390-c33c-437e-8d78-4b8a6bad930b","year":2025},"citing_paper":{"arxiv_id":"2605.08212","last_updated":"2026-05-06T09:30:08Z","snapshot_observed_at":"2026-08-11T03:11:33.231716Z","submitted_at":"2026-05-06T09:30:08Z","title":"LLMs with in-context learning for Algorithmic Theoretical Physics","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-12T01:00:44.364356Z"},"links":{"cited_paper":"/paper/2510.12787","citing_paper":"/paper/2605.08212"},"observation_digest":"sha256:41261eeddc8d7bb3e51bcded4724cbc49b206d3a381d64caa61047e18d99d6ab","observation_id":"ea384aea-0bd3-4e69-a25f-aee794eea51b","resolution":{"observed_at":"2026-05-25T03:01:07.455590Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"cited_work":{"arxiv_id":"2510.12787","doi":"10.48550/arxiv.2510.12787","metadata_source":"pith","pith_arxiv_id":"2510.12787","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Ax-prover: A deep reasoning agentic framework for theorem proving in mathematics and quantum physics","venue":"cs.AI","work_id":"aba0c390-c33c-437e-8d78-4b8a6bad930b","year":2025},"citing_paper":{"arxiv_id":"2605.27485","last_updated":"2026-05-26T14:50:47Z","snapshot_observed_at":"2026-08-02T13:15:11.614769Z","submitted_at":"2026-05-26T14:50:47Z","title":"Automating Formal Verification with Agent-Guided Tree Search","version":1},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-06-29T14:54:59.333847Z"},"links":{"cited_paper":"/paper/2510.12787","citing_paper":"/paper/2605.27485"},"observation_digest":"sha256:138a68a56ab7b2ac25f1d5feb0d66111cbdb78c441473ee71484341c76c62392","observation_id":"43d9a938-62ac-4df5-be71-a5a790d4192c","resolution":{"observed_at":"2026-06-29T15:03:31.304650Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"cited_work":{"arxiv_id":"2510.12787","doi":"10.48550/arxiv.2510.12787","metadata_source":"pith","pith_arxiv_id":"2510.12787","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Ax-prover: A deep reasoning agentic framework for theorem proving in mathematics and quantum physics","venue":"cs.AI","work_id":"aba0c390-c33c-437e-8d78-4b8a6bad930b","year":2025},"citing_paper":{"arxiv_id":"2605.30914","last_updated":"2026-05-29T06:59:28Z","snapshot_observed_at":"2026-08-04T08:48:12.582835Z","submitted_at":"2026-05-29T06:59:28Z","title":"Automating Formal Verification with Reinforcement Learning and Recursive Inference","version":1},"reference_index":123,"source":"pdf_text","source_observed_at":"2026-06-28T23:52:36.891080Z"},"links":{"cited_paper":"/paper/2510.12787","citing_paper":"/paper/2605.30914"},"observation_digest":"sha256:3d3a90f00a8372b7a93f46475cab894f8e665b33b79750fec89c5ad066952946","observation_id":"38119245-a757-47c6-88e0-d9f1b665dcb9","resolution":{"observed_at":"2026-06-28T23:52:49.203468Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"cited_work":{"arxiv_id":"2510.12787","doi":"10.48550/arxiv.2510.12787","metadata_source":"pith","pith_arxiv_id":"2510.12787","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Ax-prover: A deep reasoning agentic framework for theorem proving in mathematics and quantum physics","venue":"cs.AI","work_id":"aba0c390-c33c-437e-8d78-4b8a6bad930b","year":2025},"citing_paper":{"arxiv_id":"2606.20642","last_updated":"2026-06-03T20:03:38Z","snapshot_observed_at":"2026-08-07T20:40:20.986106Z","submitted_at":"2026-06-03T20:03:38Z","title":"Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-28T05:52:05.192897Z"},"links":{"cited_paper":"/paper/2510.12787","citing_paper":"/paper/2606.20642"},"observation_digest":"sha256:47759aabedb08548eb301165018479eca72bccf1c267bd652b0623c69414c91b","observation_id":"ec92262b-bf54-48bb-b8da-186ef5e6589d","resolution":{"observed_at":"2026-07-02T08:36:48.581919Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"cited_work":{"arxiv_id":"2510.12787","doi":"10.48550/arxiv.2510.12787","metadata_source":"pith","pith_arxiv_id":"2510.12787","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Ax-prover: A deep reasoning agentic framework for theorem proving in mathematics and quantum physics","venue":"cs.AI","work_id":"aba0c390-c33c-437e-8d78-4b8a6bad930b","year":2025},"citing_paper":{"arxiv_id":"2606.28841","last_updated":"2026-06-27T09:58:09Z","snapshot_observed_at":"2026-08-02T19:18:42.790580Z","submitted_at":"2026-06-27T09:58:09Z","title":"LAMP: Lean-based Agentic framework with MCP and Proof Repair","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-30T08:35:40.617232Z"},"links":{"cited_paper":"/paper/2510.12787","citing_paper":"/paper/2606.28841"},"observation_digest":"sha256:4296173eeffd3b377448dc40ec48e9ee74a00a26dbb6cc1bc2b169c391a4f1b1","observation_id":"ce07760c-8481-4627-86e7-6fffb9f3d33d","resolution":{"observed_at":"2026-06-30T08:44:27.811322Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"cited_work":{"arxiv_id":"2510.12787","doi":"10.48550/arxiv.2510.12787","metadata_source":"pith","pith_arxiv_id":"2510.12787","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Ax-prover: A deep reasoning agentic framework for theorem proving in mathematics and quantum physics","venue":"cs.AI","work_id":"aba0c390-c33c-437e-8d78-4b8a6bad930b","year":2025},"citing_paper":{"arxiv_id":"2606.29687","last_updated":"2026-06-29T01:25:40Z","snapshot_observed_at":"2026-07-07T00:03:36.327050Z","submitted_at":"2026-06-29T01:25:40Z","title":"A Machine-Verified Proof of a Quantum-Optimization Conjecture","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-30T06:40:20.723937Z"},"links":{"cited_paper":"/paper/2510.12787","citing_paper":"/paper/2606.29687"},"observation_digest":"sha256:5976da83e36f4a8de283e2c6c88988323168cade2f7917c5309ad1abb8e4f9b4","observation_id":"bfe2734e-77a4-44ac-9917-ed8002fea55c","resolution":{"observed_at":"2026-06-30T06:44:19.017321Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"cited_work":{"arxiv_id":"2510.12787","doi":"10.48550/arxiv.2510.12787","metadata_source":"pith","pith_arxiv_id":"2510.12787","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Ax-prover: A deep reasoning agentic framework for theorem proving in mathematics and quantum physics","venue":"cs.AI","work_id":"aba0c390-c33c-437e-8d78-4b8a6bad930b","year":2025},"citing_paper":{"arxiv_id":"2606.31134","last_updated":"2026-08-05T20:38:33Z","snapshot_observed_at":"2026-08-13T20:40:45.791855Z","submitted_at":"2026-06-30T05:05:03Z","title":"Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-01T05:54:51.200436Z"},"links":{"cited_paper":"/paper/2510.12787","citing_paper":"/paper/2606.31134"},"observation_digest":"sha256:5e9ec41ee0403c1091ce845d59f6fb63f0ab111e3a47db2a99284c7f8dd4f277","observation_id":"38992dc1-3d0c-4534-8781-2a97884be2d0","resolution":{"observed_at":"2026-07-01T10:05:40.879695Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"cited_work":{"arxiv_id":"2510.12787","doi":"10.48550/arxiv.2510.12787","metadata_source":"pith","pith_arxiv_id":"2510.12787","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Ax-prover: A deep reasoning agentic framework for theorem proving in mathematics and quantum physics","venue":"cs.AI","work_id":"aba0c390-c33c-437e-8d78-4b8a6bad930b","year":2025},"citing_paper":{"arxiv_id":"2606.31134","last_updated":"2026-08-05T20:38:33Z","snapshot_observed_at":"2026-08-13T20:40:45.791855Z","submitted_at":"2026-06-30T05:05:03Z","title":"Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-03T22:34:08.241014Z"},"links":{"cited_paper":"/paper/2510.12787","citing_paper":"/paper/2606.31134"},"observation_digest":"sha256:38d82f3e10195ee9728434faebeb651966354b136b1a94c832e0678f3d8febac","observation_id":"6dd7d0cc-4410-4fd8-b43b-8d4609f74a77","resolution":{"observed_at":"2026-07-03T22:39:01.226621Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"cited_work":{"arxiv_id":"2510.12787","doi":"10.48550/arxiv.2510.12787","metadata_source":"pith","pith_arxiv_id":"2510.12787","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Ax-prover: A deep reasoning agentic framework for theorem proving in mathematics and quantum physics","venue":"cs.AI","work_id":"aba0c390-c33c-437e-8d78-4b8a6bad930b","year":2025},"citing_paper":{"arxiv_id":"2607.00365","last_updated":"2026-07-01T03:04:46Z","snapshot_observed_at":"2026-07-07T00:06:03.968882Z","submitted_at":"2026-07-01T03:04:46Z","title":"When AI meets quantum information: A comprehensive review","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-07-02T12:41:14.114824Z"},"links":{"cited_paper":"/paper/2510.12787","citing_paper":"/paper/2607.00365"},"observation_digest":"sha256:e49a451328b0c0ef90bf2d2bd8c99b3fc5f0e9cfed53052e6520a549a95ad24e","observation_id":"e45fcfb5-4b78-4adc-9a19-8f9ff9030fe1","resolution":{"observed_at":"2026-07-02T12:46:56.400972Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2510.12787","snapshot_observed_at":"2026-07-30T16:01:42.378683Z","title":"Taylor, Frank H","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.26952","last_updated":"2026-07-29T14:20:13Z","snapshot_observed_at":"2026-08-13T17:49:24.624671Z","submitted_at":"2026-07-29T14:20:13Z","title":"Credit Cards, Confusion, Computation, and Consequences: What Can We Uncover About Language Model Reasoning?","version":1},"reference_index":121,"source":"arxiv_source","source_observed_at":"2026-07-30T16:01:42.378683Z"},"links":{"cited_paper":"/paper/2510.12787","citing_paper":"/paper/2607.26952"},"observation_digest":"sha256:14b560ec5b56ae147915fe7bc1cc28996ceb72627c01a543f8313461b3a1eb9d","observation_id":"ea05303d-ee0d-4056-bb0e-c4fefefd67cb","resolution":{"observed_at":"2026-07-30T16:01:42.378683Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2510.12787","snapshot_observed_at":"2026-08-01T01:19:20.677062Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum PhysicsarXiv:2510.12787 [cs.AI](2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27794","last_updated":"2026-07-30T07:27:07Z","snapshot_observed_at":"2026-08-13T18:08:49.994279Z","submitted_at":"2026-07-30T07:27:07Z","title":"Can AI Follow In Einstein's Footsteps?","version":1},"reference_index":127,"source":"pdf_text","source_observed_at":"2026-08-01T01:19:20.677062Z"},"links":{"cited_paper":"/paper/2510.12787","citing_paper":"/paper/2607.27794"},"observation_digest":"sha256:5eb33e732445f1c64fcae45aae0287def0b4e5437e6850484f846d5fda940ac4","observation_id":"cc9d68b2-68c7-4d96-9855-212485ae3efa","resolution":{"observed_at":"2026-08-01T01:19:20.677062Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2510.12787","snapshot_observed_at":"2026-08-12T05:09:21.794563Z","title":"Taylor and Frank Koppens and Dirk Englund , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.11158","last_updated":"2026-08-12T02:15:47Z","snapshot_observed_at":"2026-08-14T14:17:48.703464Z","submitted_at":"2026-08-11T17:16:09Z","title":"New Lower and Upper Bounds for the Grothendieck Constant","version":1},"reference_index":161,"source":"arxiv_source","source_observed_at":"2026-08-12T05:09:21.794563Z"},"links":{"cited_paper":"/paper/2510.12787","citing_paper":"/paper/2608.11158"},"observation_digest":"sha256:cfbf2fb9b2934daa1ab626cff01e31bac4b0bb833b117b59ae864769e703975d","observation_id":"8a8bcea1-da7f-4b9a-96be-8d083079a001","resolution":{"observed_at":"2026-08-12T05:09:21.794563Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2510.12787","snapshot_observed_at":"2026-08-12T04:25:32.315958Z","title":"Taylor and Frank Koppens and Dirk Englund , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.11195","last_updated":"2026-08-13T17:46:18Z","snapshot_observed_at":"2026-08-14T14:24:59.872724Z","submitted_at":"2026-08-11T17:53:48Z","title":"Long-Horizon AI Research for Grothendieck Constant: A Case Study in Human-AI Mathematical Collaboration","version":1},"reference_index":148,"source":"arxiv_source","source_observed_at":"2026-08-12T04:25:32.315958Z"},"links":{"cited_paper":"/paper/2510.12787","citing_paper":"/paper/2608.11195"},"observation_digest":"sha256:5200b1ab958bb6f87e29132a006a46726b4fd568d1ae72698daca60c89385b17","observation_id":"70015c2c-3ec0-44ae-bb45-11e95b157370","resolution":{"observed_at":"2026-08-12T04:25:32.315958Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2510.12787/citation-record","integrity":"/paper/2510.12787/integrity","json":"/paper/2510.12787/citation-record.json","paper":"/paper/2510.12787"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"arXiv","venue":null,"work_id":"734ca54b-b970-4147-8168-624256ea50d4","year":2025},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:cdc0fd2eda79cf6383628ff89a76b204561c478fe31956d66f074420ed2ca5d9","observation_id":"cb4b96a6-01d6-44cc-8895-b2c31ba64375","resolution":{"observed_at":"2026-05-25T07:46:42.331905Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2510.01346","last_updated":"2025-10-10T20:12:14Z","snapshot_observed_at":"2026-08-13T13:08:02.531340Z","submitted_at":"2025-10-01T18:21:13Z","title":"Aristotle: IMO-level Automated Theorem Proving","version":2},"cited_work":{"arxiv_id":"2510.01346","doi":"10.48550/arxiv.2510.01346","metadata_source":"pith","pith_arxiv_id":"2510.01346","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Aristotle: IMO-level Automated Theorem Proving","venue":"cs.AI","work_id":"6c61af2f-a34a-4647-9111-6ba5a60f6bc2","year":2025},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"cited_paper":"/paper/2510.01346","citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:50b0689b4d0fc5fa5b0e99c9ab1029efeb7c5e02c5fe93a90c8bccbdc6e93499","observation_id":"f6359ba9-06d4-45ed-b2e0-36a4b57bf111","resolution":{"observed_at":"2026-05-25T07:46:42.171818Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Claude 3.7 sonnet and claude code.https://www.anthropic.com/news/ claude-3-7-sonnet","venue":null,"work_id":"97387381-e388-4f7d-aa9c-b84f35656795","year":2025},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:721083768cfd5f949860ba5808971317b7c831ceb11454fdb4a40b4cd5257d42","observation_id":"5bf4fcfc-d1e4-481c-9516-5b1fa74cb0f1","resolution":{"observed_at":"2026-05-25T07:46:42.409745Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Claude 4.https://www.anthropic.com/news/claude-4","venue":null,"work_id":"dbb3a40b-9cda-4a04-963f-c1b40d47bd2a","year":2025},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:7c71ee7d944122d160e4776976ed0c2996199e3b2ae763baf62237b1b9fe94ae","observation_id":"95471139-e6ac-4a19-b1d2-54b5b52861e5","resolution":{"observed_at":"2026-05-25T07:46:42.457832Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Claude documentation","venue":null,"work_id":"543f489f-49ba-4480-ac75-bac6dfdfb120","year":2025},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:25e13a6c537f887d60b91d3b4b11e901cff9f8a00cce858a260fd85c9f78c5ee","observation_id":"814b819d-d42f-4e61-b8bf-4ce0976b1637","resolution":{"observed_at":"2026-05-25T07:46:42.461088Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Claude opus 4.1.https://www.anthropic.com/claude/opus","venue":null,"work_id":"af95b251-0458-4975-bd53-2cde3840f286","year":2025},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:c389ec7f2aac1247db784f42b2e4cec7423c9b9c739604f06b7c49ed4c1c1216","observation_id":"8952f2b4-0820-4222-a3d6-eef3d703e0d8","resolution":{"observed_at":"2026-05-25T07:46:42.364285Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Introducing claude haiku 4.5, October 2025","venue":null,"work_id":"166a44c0-f074-4bb1-9133-11be3c3276f8","year":2025},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:de2ac504d3e316f59210296725fbdc52b97c7db8393de15341b6ffac257df41a","observation_id":"0de396a2-29b5-4cb2-a2ac-69a80b4d73de","resolution":{"observed_at":"2026-05-25T07:46:42.452430Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2306.09264","last_updated":"2024-03-11T02:54:57Z","snapshot_observed_at":"2026-08-13T11:15:53.093100Z","submitted_at":"2023-06-15T16:39:05Z","title":"Harvard Glaucoma Fairness: A Retinal Nerve Disease Dataset for Fairness Learning and Fair Identity Normalization","version":3},"cited_work":{"arxiv_id":"2306.09264","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2306.09264","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Leanlm: Large language models for lean theorem proving","venue":null,"work_id":"b440be73-fae7-4a26-b3f9-b233ac4bbdd7","year":2023},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"cited_paper":"/paper/2306.09264","citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:fd873db09ad4ba8c1caa346bba818af846761a27962d6426e846bebab5cc61b9","observation_id":"ef05736d-aba4-4511-8472-045815be367d","resolution":{"observed_at":"2026-05-25T07:46:42.228603Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Formal proving with llms: Lean as a benchmark","venue":null,"work_id":"18f7f1fc-0824-47d2-bce3-5bde778090df","year":2023},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:7a9194a7c2d9e6e3c8ceeda3d3cd5c628e63009c9e5473be1f210b41b7c394ec","observation_id":"acad415c-f675-41fe-b950-495c44317470","resolution":{"observed_at":"2026-05-25T07:46:42.379823Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2506.19923","doi":"10.48550/arxiv.2506.19923","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Prover agent: An agent-based framework for formal mathematical proofs","venue":"ArXiv.org","work_id":"79402a33-8ac9-47f7-9c8c-444f54acbd03","year":2025},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:4ba4a1200e3e961d6d457d70933231ac3618d3fa81bec65b025ba5a648d942f1","observation_id":"acb87d86-5134-4f27-8c09-35d1b98df061","resolution":{"observed_at":"2026-05-25T07:46:42.223592Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Satisfiability modulo theories: An appe- tizer.Communications of the ACM, 65(6):69–77","venue":null,"work_id":"828460dc-b956-41ad-a764-8cbd746f4dd0","year":2022},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:8fa70faeadc928438ce15fb9afcca0d7c6b3fe072383221aa3a1af065af654a7","observation_id":"60d682b7-0db0-422b-b073-1a67a2a63e6a","resolution":{"observed_at":"2026-05-25T07:46:42.442103Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Computer-aided security proofs for the working cryptographer","venue":null,"work_id":"035b007a-c27e-42e3-ac8f-c0b63706af25","year":2011},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:892019a3217ae4fa3a75a2cc58ab927820770b7cb4885726ebcc929f759c8285","observation_id":"45d6b0bb-b834-4301-a24c-1b05ecdb3a45","resolution":{"observed_at":"2026-05-25T07:46:42.442433Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Tactician: Lean proof automation with knn","venue":null,"work_id":"1bf960bf-b3c1-4d15-9c93-202cb27ce971","year":2020},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:1f9c9ae11da7029239349b9c99ff26da2447cb3346008bc4aa6ebc858e38604f","observation_id":"e8af36d1-3a81-4b43-8fca-2ae12ea93e6d","resolution":{"observed_at":"2026-05-25T07:46:42.401615Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"A computationally sound mechanized prover for security protocols.IEEE Transactions on Dependable and Secure Computing, 5(4):193–207","venue":null,"work_id":"af61b8d9-f50c-4f3a-aefb-c210f07ff9c8","year":2008},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:fa28bdf481a035b8856ad70801666863208f16b66237a20b5ea4cd7811a94b79","observation_id":"7589c558-1fd5-4e62-bcc2-623044ea47e3","resolution":{"observed_at":"2026-05-25T07:46:42.402368Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Knudsen, Gregor Leander, Ventzislav Nikov, Christof Paar, Christian Rechberger, Peter Rombouts, Søren S","venue":null,"work_id":"78d730a6-5f86-4bf2-8af8-168cac0c516e","year":2012},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:a280eb936737c81e09cea7397ca27969dad4e3321a895c48b68b72e0c5d40ede","observation_id":"b8ee1b25-e536-4372-96b1-e6c7ca508ad7","resolution":{"observed_at":"2026-05-25T07:46:42.375811Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2507.23726","last_updated":"2025-08-01T03:36:47Z","snapshot_observed_at":"2026-08-07T12:23:31.292936Z","submitted_at":"2025-07-31T17:00:30Z","title":"Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving","version":2},"cited_work":{"arxiv_id":"2507.23726","doi":"10.48550/arxiv.2507.23726","metadata_source":"pith","pith_arxiv_id":"2507.23726","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Seed-prover: Deep and broad reasoning for automated theorem proving","venue":"cs.AI","work_id":"a5329c4e-41eb-48e2-b93a-3c8a6e30eec9","year":2025},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"cited_paper":"/paper/2507.23726","citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:28b7a0c7065730a975f0ac93ec9d5601a0b8944a315e6cd9edc097612cb53aeb","observation_id":"1be85c56-c33a-4903-9e0d-5fea6eccf2cd","resolution":{"observed_at":"2026-05-25T07:46:42.293176Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-07-12T04:49:08.802822+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T04:49:08.802822+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2107.03374","last_updated":"2021-07-14T17:16:02Z","snapshot_observed_at":"2026-08-08T11:58:24.516369Z","submitted_at":"2021-07-07T17:41:24Z","title":"Evaluating Large Language Models Trained on Code","version":2},"cited_work":{"arxiv_id":"2107.03374","doi":"10.48550/arxiv.2107.03374","metadata_source":"pith","pith_arxiv_id":"2107.03374","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Evaluating Large Language Models Trained on Code","venue":"cs.LG","work_id":"042493e9-b26f-4b4e-bbde-382072ca9b08","year":2021},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:76ba2a94a43e9ef6a61fa8a0887cdf11c9c3e5d629f160f2e0d7d77583233219","observation_id":"490b6d66-2b55-434e-a746-91f91ef7494c","resolution":{"observed_at":"2026-05-25T07:46:42.249410Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-01T08:08:23.404839+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-01T08:08:23.404839+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Quantum algorithms for lattice problems","venue":null,"work_id":"5553c58e-60a5-4ad8-81c7-454541f30bd4","year":2024},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:ee3469707e2a87fb937e2efafd5e9be262cd14e5fbe8cb7a8b0b1b1f29b52c5a","observation_id":"1c1248b7-3fba-4b0c-8658-50d09afa8604","resolution":{"observed_at":"2026-05-25T07:46:42.321119Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2502.03544","doi":"10.48550/arxiv.2502.03544","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Gold-medalist performance in solving olympiad geometry with alphageometry2","venue":"ArXiv.org","work_id":"d285f791-a0ad-4c8b-94ef-802ce256144e","year":2025},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:e4a0875e5f8334223fba488157aeb26b615a444afaa9688cb9e097218533183d","observation_id":"6040881e-fa8d-4d76-9d18-ee48c171caae","resolution":{"observed_at":"2026-05-25T07:46:42.217955Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Llms as conversational partners for mathematicians.arXiv preprint arXiv:2305.XXXX","venue":null,"work_id":"e26db30f-8cde-4cf0-8171-a10514fae271","year":2023},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:a3f3a3e08dd53cbadfca5c1ded2a08cd9f28f1313991da3486863f0e1ca6825a","observation_id":"7a2ff589-f9d7-486d-80be-5987d5610002","resolution":{"observed_at":"2026-05-25T07:46:42.383095Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Z3: An efficient smt solver","venue":null,"work_id":"f2c4b303-e137-46dc-b4d3-43086426c5e2","year":2008},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:1f864359caa0b1d9d16b30b0de5044c2747b201b7f3a2ce0a255f4e3fe2288b6","observation_id":"284ffacf-198f-48e5-9e23-38286fdbcd65","resolution":{"observed_at":"2026-05-25T07:46:42.430082Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"The lean theorem prover (system description)","venue":null,"work_id":"7d0d530b-7ceb-40a5-8637-ca75637f7344","year":2015},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:91157b8472afa3321d5ac294aaafa9e60b2da28e71f8017f982a9318e7eb3eff","observation_id":"4a311c03-a8c6-420e-b2e4-82256f0605eb","resolution":{"observed_at":"2026-05-25T07:46:42.324371Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Deepseek-prover-v1 dataset.https://huggingface.co/datasets/deepseek-ai/ DeepSeek-Prover-V1","venue":null,"work_id":"19b76ffe-8ac5-44aa-8c7d-053fb0c6be15","year":2024},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:7ca5117538ce544b2a879c01a2267887b03c2f26f41354c37513957d36c7dc9d","observation_id":"5ab4c11e-effa-476b-8a2a-9a866459370b","resolution":{"observed_at":"2026-05-25T07:46:42.460039Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Deepseek-prover-v2-671b","venue":null,"work_id":"e5250713-bfbc-43a6-b408-ed978efe6cb4","year":2025},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:5de226f558aba06e80cd549a1dadd9440439b39ce2d646db0434541c8707b6b9","observation_id":"d32cf615-2c58-42e4-882c-653d9a8d9e07","resolution":{"observed_at":"2026-05-25T07:46:42.477868Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Lean-lsp-mcp: Tools for agentic interaction with the lean theorem prover, 3 2025","venue":null,"work_id":"194da63d-16ef-4762-ae7a-4dacf1ee1fea","year":2025},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:a41630b00cd7ec55469849025d4f98ef4eb1530d8becc11a806eb9bf864931be","observation_id":"6ca258d7-0d6c-45d1-901d-cb1cca92c8e4","resolution":{"observed_at":"2026-05-25T07:46:42.470795Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Abstract algebra","venue":null,"work_id":"fe57bb14-89f8-4c0e-a1f4-b689ba1bcd65","year":2004},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:29a482cf385f7cb7a9406c41b99d187d36b89e6555c5ad1af0365b22c14d4892","observation_id":"b29595a8-7096-4256-9bab-71586af1cd7c","resolution":{"observed_at":"2026-05-25T07:46:42.438204Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"69a766b4-fa84-4abc-9af4-a9e8b8c2b9b2","year":2008},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:c7ba46bf3ebbd5af6f6ff0b763ccb0591ebcd017749eef7d79196541e502c4c0","observation_id":"adfb047e-1fb5-45df-80a7-882de1a39029","resolution":{"observed_at":"2026-05-25T07:46:42.396461Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Tactictoe: Learning to prove with tactics","venue":null,"work_id":"059d0e6c-413b-43e0-b366-b52c1508e64c","year":2021},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:c7c8babd11f556fc3b647c9d3c772a7cc272c03985953269f483e9cd15454a13","observation_id":"6dbaf481-c1ed-4a32-a4a9-ec43e7e459ce","resolution":{"observed_at":"2026-05-25T07:46:42.433250Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.18864","last_updated":"2025-02-26T06:17:13Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-02-26T06:17:13Z","title":"Towards an AI co-scientist","version":1},"cited_work":{"arxiv_id":"2502.18864","doi":"10.3917/res.232.0099","metadata_source":"pith","pith_arxiv_id":"2502.18864","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Towards an AI co-scientist","venue":"cs.AI","work_id":"485486b1-a1a2-4cde-bdda-768930c403e6","year":2025},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"cited_paper":"/paper/2502.18864","citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:9bb1907558ac81bea97991507ec01e59e850afe62bca2e13986e8ff1f072b64d","observation_id":"4909f774-86e3-4758-9e61-5f48301082a2","resolution":{"observed_at":"2026-05-25T07:46:42.244689Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Learning to prove theorems via interacting with proof assistants","venue":null,"work_id":"8ee6d9c2-74d0-456e-afa3-2ac076378f92","year":2019},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:9d3e37a230dd31f7c3bf85f2081bd5abe811b0efd5e9eb40c55dd07e75185c8d","observation_id":"20fb5296-c4bc-4e47-a07b-32f31f164d1a","resolution":{"observed_at":"2026-05-25T07:46:42.399441Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Alemi, et al","venue":null,"work_id":"a1d130b1-7f9d-455f-8716-f82fb9bc8c5e","year":2016},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:7cd3a6a3ed13aaec86b67025786f8813c74821902eef4e5e1d4562f0f504a8ea","observation_id":"ee8032d8-0d1c-4e9b-9243-a192de296311","resolution":{"observed_at":"2026-05-25T07:46:42.360286Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Another look at” provable security”.Journal of Cryptology, 20(1):3–37","venue":null,"work_id":"f8fd1d60-ca90-458e-b9ec-353b2963ae60","year":2007},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:ffabbc81630ead44a998dc4008dbbc374db82e109ece9cd3f76963df9c4864cd","observation_id":"ad740e91-cb87-45cc-a0fb-bd51969802d0","resolution":{"observed_at":"2026-05-25T07:46:42.317482Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"First-order theorem proving and vampire","venue":null,"work_id":"eafd204e-88f9-4e36-9816-0c69238a75b4","year":2013},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:2999e8dc4bd65a35475a35c495f315b59005eddf7264746e6740e838f49b71b9","observation_id":"6b8cc1ac-fc3c-441c-bac5-55641c53f420","resolution":{"observed_at":"2026-05-25T07:46:42.434654Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.06209","last_updated":"2025-03-06T00:20:32Z","snapshot_observed_at":"2026-08-12T22:27:59.274879Z","submitted_at":"2024-10-08T17:11:24Z","title":"LeanAgent: Lifelong Learning for Formal Theorem Proving","version":8},"cited_work":{"arxiv_id":"2410.06209","doi":null,"metadata_source":"pith","pith_arxiv_id":"2410.06209","snapshot_observed_at":"2026-07-10T18:17:33.831460Z","title":"Leanagent: Lifelong learning for formal theorem proving","venue":"cs.LG","work_id":"81093f83-3bf4-477a-8ef4-c54a7b492d17","year":2024},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"cited_paper":"/paper/2410.06209","citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:2ee7b9fc557f1c0539fc03af93cd1d08317176db0f26668dcf2c7768776dd600","observation_id":"db4bfa15-d1cb-4c0c-9bca-9a073bcfad9b","resolution":{"observed_at":"2026-05-25T07:46:42.246246Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Deep reinforcement learning for theorem proving","venue":null,"work_id":"6ca08692-143b-4a58-9b75-db6da6a71962","year":2022},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:18d1edd6fe7d63493375ad2e459e2056da355591e7c086b90e581a85317b6f5c","observation_id":"2d958898-c28f-4288-9e58-01bad054dd79","resolution":{"observed_at":"2026-05-25T07:46:42.398021Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Mathlib statistics.https://leanprover-community.github.io/ mathlib_stats.html","venue":null,"work_id":"9144f0ec-cdd2-41e3-a6d3-98da8a7c0084","year":2025},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:44c698d8f36c5dfa5f506deb6636aed79f03dcb646cca9e5798df5fa5fe6338e","observation_id":"ac32b82c-634b-4ece-ba0a-2155b9a55c35","resolution":{"observed_at":"2026-05-25T07:46:42.405459Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Numinamath.[https://huggingface.co/AI-MO/NuminaMath-1.5](https: //github.com/project-numina/aimo-progress-prize/blob/main/report/numina_ dataset.pdf)","venue":null,"work_id":"2d256a45-8d5c-4dd7-8030-ee224b873bf5","year":2024},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:1b0a9371a7ae80ede43360f56825fe1b401b916bd3f1c11ba49be4e8f4dd0655","observation_id":"6576da80-ee72-48f5-b220-4784303a7170","resolution":{"observed_at":"2026-05-25T07:46:42.467197Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-08-08T12:00:22.357251Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2502.07640","doi":"10.48550/arxiv.2502.07640","metadata_source":"pith","pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving","venue":"cs.LG","work_id":"d493c962-6f13-4605-9836-61b0d15ca1d6","year":2025},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:1e3072a54cc7db61d45911c017bdbb14f1105358376ab4dc675c6f088c784329","observation_id":"af97df18-337a-41eb-a7f2-af095c4bf560","resolution":{"observed_at":"2026-05-25T07:46:42.240726Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2508.03613","last_updated":"2025-08-05T16:28:22Z","snapshot_observed_at":"2026-08-11T11:12:15.356883Z","submitted_at":"2025-08-05T16:28:22Z","title":"Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction","version":1},"cited_work":{"arxiv_id":"2508.03613","doi":"10.48550/arxiv.2508.03613","metadata_source":"pith","pith_arxiv_id":"2508.03613","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction","venue":"cs.LG","work_id":"cfdb69bb-3c0b-41d3-bd34-3167a6931bb2","year":2025},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"cited_paper":"/paper/2508.03613","citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:dda23982f1cdd72ac5e56459176f1c2d124bd9d8aed853d076367586b10f0a4b","observation_id":"31f324a4-3fb1-45ac-aa6b-8a12300f071a","resolution":{"observed_at":"2026-05-25T07:46:42.282760Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-07-12T04:49:11.143969+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T04:49:11.143969+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"quant-ph/9803006","last_updated":"1999-12-06T05:32:12Z","snapshot_observed_at":"2026-08-02T14:01:55.067277Z","submitted_at":"1998-03-03T03:18:11Z","title":"Unconditional Security Of Quantum Key Distribution Over Arbitrarily Long Distances","version":5},"cited_work":{"arxiv_id":"quant-ph/9803006","doi":null,"metadata_source":"pith","pith_arxiv_id":"quant-ph/9803006","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Unconditional Security Of Quantum Key Distribution Over Arbitrarily Long Distances","venue":"quant-ph","work_id":"6d4d832a-0d30-4529-83f8-bf0816de3a97","year":1998},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"cited_paper":"/paper/quant-ph/9803006","citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:cd96f4ed17fa0a0ae3408f4dbe71065db9b8d90ee7d087a4bea57b1f651166ca","observation_id":"08ad7065-bb2f-4454-841c-7cf8e7095b11","resolution":{"observed_at":"2026-05-25T07:46:42.297218Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Unconditional security of quantum key distribution over arbitrarily long distances.science, 283(5410):2050–2056","venue":null,"work_id":"39e51a1f-adf5-4533-ab1b-ff9153e35e44","year":2050},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:3b322db509399d3f242ee53d43420df5cdaa60259d6231cc18031f81b7db6aa4","observation_id":"74d43cdc-1948-4431-a689-e7b0318df971","resolution":{"observed_at":"2026-05-25T07:46:42.447873Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Process-driven autoformalization in lean 4","venue":null,"work_id":"4743c7e8-5635-46d3-89e1-373795c4a8cb","year":2025},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:93daa27e22184dcfc8edb47e976719d5335ea8ebac5049227b70430a68f803e2","observation_id":"e3c2d96d-08d8-45c2-8fe4-5ac07c426413","resolution":{"observed_at":"2026-05-25T07:46:42.336823Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Introducing gauss, an agent for autoformalization","venue":null,"work_id":"e9df6185-785d-43e7-99e8-14b81d32a4ec","year":2025},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:b0d8a3e3c91f0363bfeb4c8dd484433180cfc1897b08a0f8d154aae1a4e747f9","observation_id":"35826b08-1277-4883-bdee-d334ebab764e","resolution":{"observed_at":"2026-05-25T07:46:42.394271Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2510.08672","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"A formalization of the generalized quantum stein’s lemma in lean","venue":null,"work_id":"8797bf6e-5fcb-4061-b5f5-bb861c787562","year":2025},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:056a19b9eb6bfd34b92ead3befcd75f7d84376abfc4d01bbcff868547ea5de51","observation_id":"2cb378ed-d4c4-48d6-8c49-d0eb4fe6a748","resolution":{"observed_at":"2026-05-25T07:46:42.251528Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.07007","last_updated":"2024-09-23T07:20:04Z","snapshot_observed_at":"2026-08-13T00:09:45.848867Z","submitted_at":"2024-05-11T13:06:03Z","title":"A New Algorithm for Computing Branch Number of Non-Singular Matrices over Finite Fields","version":2},"cited_work":{"arxiv_id":"2405.07007","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2405.07007","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"af8a0d8f-5e33-45c0-a327-9dcc1c59231d","year":2024},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"cited_paper":"/paper/2405.07007","citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:8122b144b15b6f690b01900091bde55d7e3040eee55ab0a6b7e77cdd3772f82e","observation_id":"3033d040-4be3-463e-b3df-5899d02c8ce8","resolution":{"observed_at":"2026-05-25T07:46:42.273226Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"What is the model context protocol (mcp)?https://modelcontextprotocol","venue":null,"work_id":"dcb1376d-5dba-4c70-853f-4ea95e082a27","year":2024},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:01023003a2c7249da2562f8fd1d1b7d62c44d41e2af1a256f36f48b59d962ac8","observation_id":"e3e97ee7-2f35-4d99-9865-6ac53ddd8001","resolution":{"observed_at":"2026-05-25T07:46:42.422330Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T17:21:18.589564Z","title":"Robust de-anonymization of large sparse datasets","venue":null,"work_id":"537980f1-b7cc-4d61-9b5c-c4da54a5a9bb","year":2008},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:b662b293de604f9de0a39334082e135ddfe39404d7cfb4c4a69350d7461fbc0c","observation_id":"bcc2d0bd-3962-4106-8035-556ac00fe69a","resolution":{"observed_at":"2026-05-25T07:46:42.456324Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Advanced encryption standard (aes)","venue":null,"work_id":"0f0c05af-eb40-45f0-bd71-2ab409625ef6","year":2001},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:888abf3d26935fd97657358a368c6aeac8ede08fa3a11fbf4cda63f696a9a1e7","observation_id":"7f373d3d-f42c-496b-9634-836a94f7da01","resolution":{"observed_at":"2026-05-25T07:46:42.408644Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Cambridge university press","venue":null,"work_id":"277f63d2-264d-4c40-a58e-ef88a1b23377","year":2010},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:7868cd4eee75eb8fa2f7e4ca001379110094a68942946e920bc7a92257143e9b","observation_id":"6a0e15b3-1d1d-43da-b5d5-71a8067c6713","resolution":{"observed_at":"2026-05-25T07:46:42.463235Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Numinamath-lean dataset.https://huggingface.co/datasets/AI-MO/ NuminaMath-LEAN","venue":null,"work_id":"29e36d0a-0966-4789-b75f-05c524c295bf","year":2025},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:405ba27eff754e2ce0871f5e9cef53196e2597afeb25d8018bcd39f8ebbb0064","observation_id":"fecde214-33c3-4476-a27c-a2d01f36e548","resolution":{"observed_at":"2026-05-25T07:46:42.413419Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Openai models documentation","venue":null,"work_id":"e2289872-b468-4eb0-ad59-47f1a6d78650","year":2025},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:bf84f3fc411c37947494462cc602b5ca2c61e0502024e4933ed38ad37e84ec5a","observation_id":"7558e6ff-b195-41e8-8bc0-1c710277f077","resolution":{"observed_at":"2026-05-25T07:46:42.481219Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2505.05758","doi":"10.48550/arxiv.2505.05758","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Apollo: Automated llm and lean collaboration for advanced formal reasoning","venue":"ArXiv.org","work_id":"634e0907-96e8-480b-b5c3-7eed75686ecb","year":2025},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:e04594a74c4d27edb1593aeeceffdf04caf2c4f84e99fa013709930b16454630","observation_id":"bf5468ad-d310-4b1c-9ff2-5240547d1c71","resolution":{"observed_at":"2026-05-25T07:46:42.278531Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Formal mathematics statement curriculum learning","venue":null,"work_id":"8329e74e-833b-4473-a165-ee17c686f653","year":2023},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:1cd9b066e783b4668cfcb8bed1984bcd60835b678e67615f570f83874cc5e96c","observation_id":"f56a8280-e33f-4aa0-9d6f-4c7f76d62611","resolution":{"observed_at":"2026-05-25T07:46:42.429708Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Generative language modeling for automated theorem proving","venue":null,"work_id":"8cdd3a77-4645-49a6-b39c-84ab615fb098","year":2020},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:0b0a4351d8a3cc44f23be3297ef7dc705008f3fe43fca1e91eb535b5a5661864","observation_id":"64cf1d80-2697-489f-832d-a75e41150dd4","resolution":{"observed_at":"2026-05-25T07:46:42.335323Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.21801","last_updated":"2025-07-18T08:20:23Z","snapshot_observed_at":"2026-08-02T11:46:58.603316Z","submitted_at":"2025-04-30T16:57:48Z","title":"DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition","version":2},"cited_work":{"arxiv_id":"2504.21801","doi":"10.48550/arxiv.2504.21801","metadata_source":"pith","pith_arxiv_id":"2504.21801","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition","venue":"cs.CL","work_id":"3579ad7c-ab73-41db-801b-bf86628c5c02","year":2025},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"cited_paper":"/paper/2504.21801","citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:810848c4e634fbf3571120ce1913d21c921d02ee6d4ead63011e6409f01eeb04","observation_id":"bf9f7d7b-a1b2-4b1b-9172-a0c6b95d5a48","resolution":{"observed_at":"2026-05-25T07:46:42.217034Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-07-12T04:49:13.361719+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T04:49:13.361719+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"3ae7f840-c0c9-4d90-8d7f-7b79d4c87dd0","year":2024},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:72b1da126f6b6cd2314cb22fa466ae444fe119fc35b570eac81de0921054c557","observation_id":"3a7b19a6-b5aa-4b15-b37b-a4cb6742f8e8","resolution":{"observed_at":"2026-05-25T07:46:42.357622Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"E prover 2.0: Integrating equational and first-order logic","venue":null,"work_id":"b4b1bfec-4590-4abf-b20f-acaf731bd2b2","year":2019},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:8b55b802388f48ef5f1463169063ebed1b539c76bc62e9634876610e199fe52f","observation_id":"9331e976-49a9-4c4f-99de-5248c1e0ea79","resolution":{"observed_at":"2026-05-25T07:46:42.345912Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Simple proof of security of the bb84 quantum key distribution protocol.Physical review letters, 85(2):441","venue":null,"work_id":"fd3e2026-71b0-4674-889f-d1eb3af10801","year":2000},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:4a963d9dc29d3cb4be6a6a6cd6db1d52725011a63d04c7441d13d7b234a4fc5a","observation_id":"79f32de1-739d-4599-95cb-d11fa51a2ef7","resolution":{"observed_at":"2026-05-25T07:46:42.393340Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Sequences of games: a tool for taming complexity in security proofs.cryptology eprint archive","venue":null,"work_id":"7b345ab6-5b94-420f-a576-2681cef483f1","year":2004},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:2d5fa2877de01fd47ef0fc23b09440e9c1b0bcbb5b86922c62c2298dc54385e2","observation_id":"9b94f5ab-5345-4bbf-8031-e406882d7a5b","resolution":{"observed_at":"2026-05-25T07:46:42.451105Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.12534","last_updated":"2025-05-11T09:58:48Z","snapshot_observed_at":"2026-08-13T00:27:03.373118Z","submitted_at":"2024-04-18T22:54:08Z","title":"Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean","version":3},"cited_work":{"arxiv_id":"2404.12534","doi":"10.48550/arxiv.2404.12534","metadata_source":"arxiv_reference","pith_arxiv_id":"2404.12534","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Lean copilot: Large language models as copilots for theorem proving in lean","venue":"arXiv (Cornell University)","work_id":"eb0dfb99-78da-4194-9a5e-3dac04a7ee6f","year":2025},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"cited_paper":"/paper/2404.12534","citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:46ccc12ea6c13bdc9e68caa0085dee294a80ead0fb74f5b5e578ce7eab7feb4d","observation_id":"b15df685-45db-4452-af46-4f399ce00e9e","resolution":{"observed_at":"2026-05-25T07:46:42.199875Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"k-anonymity: A model for protecting privacy.International journal of uncertainty, fuzziness and knowledge-based systems, 10(05):557–570","venue":null,"work_id":"5c60bc93-7c45-48c1-b9e3-a2589268713d","year":2002},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:03de4ab0f9db4179afc33398ae2b77d93d07e2061ac2cfe751040702203af5e9","observation_id":"c5b220d2-fd05-4c40-b8df-57ae591f4bd6","resolution":{"observed_at":"2026-05-25T07:46:42.448514Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Putnambench leaderboard.https://trishullab.github.io/PutnamBench/ leaderboard.html","venue":null,"work_id":"225fc130-4018-458c-b666-203b815e0468","year":2025},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:50139d8d894a18bf1ab03b15f50f4e72cb7e58a03e084a5c1ed6bf25c1e49d79","observation_id":"a4e4c768-6a31-4eec-96c9-164155822082","resolution":{"observed_at":"2026-05-25T07:46:42.438564Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Putnambench: Evaluating neural theorem-provers on the putnam mathematical competi- tion.Advances in Neural Information Processing Systems, 37:11545–11569","venue":null,"work_id":"c80b8d0b-183f-4686-8b9c-e207b14494c2","year":2024},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:33331a3684f76e34e64ba8f3091987d84cf52d9afe6375406c241731c059f20b","observation_id":"2b687df6-7d6c-4d05-8bc7-e3dd2d9637f2","resolution":{"observed_at":"2026-05-25T07:46:42.405134Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Machine learning preselected proof steps","venue":null,"work_id":"6463f9a3-41cb-43c6-91b1-4aa32e50b00b","year":2046},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:d47b5c0297267108dfd9657ba3406d499237c0b000b8b5f813253eb7719e88d3","observation_id":"56b69a7a-6c15-4621-921e-c129e9dc55f6","resolution":{"observed_at":"2026-05-25T07:46:42.454506Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2509.22819","doi":"10.48550/arxiv.2509.22819","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Hilbert: Recursively building formal proofs with informal reasoning","venue":"ArXiv.org","work_id":"c6dcfbe8-c39f-4e3d-86de-0a29d75f8943","year":2025},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:90780cc36f2e08ad823defafb1fd067f242d8e28065c7b84f904733d23a265aa","observation_id":"20cca8fe-06c7-44f0-9c6b-a93e2935c150","resolution":{"observed_at":"2026-05-25T07:46:42.234700Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.11354","last_updated":"2025-04-15T16:23:44Z","snapshot_observed_at":"2026-08-03T03:38:06.953412Z","submitted_at":"2025-04-15T16:23:44Z","title":"Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning","version":1},"cited_work":{"arxiv_id":"2504.11354","doi":"10.18653/v1/2025.acl-long.1565","metadata_source":"pith","pith_arxiv_id":"2504.11354","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning","venue":"cs.AI","work_id":"0ff53eb8-7b88-4c00-8ba0-5f90f9a97f90","year":2025},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:c55d8a3da5c4b699a2cd26b4ff5c94aabaa8f4856da8ef31ef47a41dc5eac03e","observation_id":"eae7a43f-8abf-4edc-93a5-fe965241db31","resolution":{"observed_at":"2026-05-25T07:46:42.205219Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-07-12T16:19:43.22822+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T16:19:43.22822+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.23486","last_updated":"2025-07-03T06:03:07Z","snapshot_observed_at":"2026-08-07T12:42:44.667182Z","submitted_at":"2025-05-29T14:34:54Z","title":"Autoformalization in the Era of Large Language Models: A Survey","version":2},"cited_work":{"arxiv_id":"2505.23486","doi":"10.48550/arxiv.2505.23486","metadata_source":"pith","pith_arxiv_id":"2505.23486","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Autoformalization in the era of large language models: A survey","venue":"cs.AI","work_id":"56156e60-3379-4710-b138-04665bd6a9c3","year":2025},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"cited_paper":"/paper/2505.23486","citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:c25b625f14cfc018d745dfe1e9d227663b840d8b28bd840ce49d4bd56b54518c","observation_id":"cf48dbd3-6aeb-48ff-b453-36f5581623c8","resolution":{"observed_at":"2026-05-25T07:46:42.287891Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-07-12T04:49:14.528127+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T04:49:14.528127+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.14333","last_updated":"2024-05-23T09:03:42Z","snapshot_observed_at":"2026-08-13T00:00:48.229211Z","submitted_at":"2024-05-23T09:03:42Z","title":"DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data","version":1},"cited_work":{"arxiv_id":"2405.14333","doi":"10.48550/arxiv.2405.14333","metadata_source":"pith","pith_arxiv_id":"2405.14333","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Deepseek-prover: Advancing theorem proving in llms through large-scale synthetic data.https: //arxiv.org/abs/2405.14333","venue":"cs.AI","work_id":"dbc70c01-dc01-42b7-8edc-25b7f061d5d6","year":2024},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"cited_paper":"/paper/2405.14333","citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:9b9cf4da4aae3defdd874fbc2e69cd8347c6b743cfb402a0d7d78ee0f882c60d","observation_id":"f33d3494-f673-492a-b52d-13112b6d4c3a","resolution":{"observed_at":"2026-05-25T07:46:42.255374Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-02T03:08:14.905938+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T03:08:14.905938+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-08-12T23:03:08.757619Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":"2408.08152","doi":"10.48550/arxiv.2408.08152","metadata_source":"pith","pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Deepseek-prover-v1","venue":"cs.CL","work_id":"55434196-a74f-4c2f-bdad-e1c22de14f3b","year":2024},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:221ca642787fd31e90412fc2ce418f7873cffeda4347910ee40108a55521ab1e","observation_id":"038c7cfd-b0ef-4822-afaf-c0087f287699","resolution":{"observed_at":"2026-05-25T07:46:42.257511Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Leandojo: Theorem proving with large language models","venue":null,"work_id":"0d501862-6f56-414a-bdd4-5324d08da080","year":2024},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:e4f12d0c699dd6b4769b33cfbbbc0039ecd988c9bf5142c29492b57755eb6b5d","observation_id":"29cd6908-7ca6-4f20-864f-a6433764481c","resolution":{"observed_at":"2026-05-25T07:46:42.474615Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.08066","last_updated":"2025-04-10T18:44:41Z","snapshot_observed_at":"2026-08-10T03:18:36.275195Z","submitted_at":"2025-04-10T18:44:41Z","title":"The AI Scientist-v2: Workshop-Level Automated Scientific Discovery via Agentic Tree Search","version":1},"cited_work":{"arxiv_id":"2504.08066","doi":"10.48550/arxiv.2504.08066","metadata_source":"pith","pith_arxiv_id":"2504.08066","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"The AI Scientist-v2: Workshop-Level Automated Scientific Discovery via Agentic Tree Search","venue":"cs.AI","work_id":"fa04f346-ee20-4e9d-bf04-3ad3569a8ed1","year":2025},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"cited_paper":"/paper/2504.08066","citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:5155a6e0bae7e45194cf07c2d9d322fca73b63da07936fec66458e0f176a05d4","observation_id":"2e7de118-ae21-4b09-8507-1e56ffb0d7b7","resolution":{"observed_at":"2026-05-25T07:46:42.228416Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-05-25T19:23:27.206897+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-25T19:23:27.206897+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Lean workbook: A large-scale lean problem set formalized from natural language math problems.https://arxiv.org/abs/2406","venue":null,"work_id":"d7a1f9e2-410b-497e-9031-536026c6c5a8","year":2024},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:90441f6a8d03ec65435955ff44d42cec0600b5c27eb2c790b9348c671fd109f6","observation_id":"d405b3c6-574b-41a0-a165-c3bd3e4a4798","resolution":{"observed_at":"2026-05-25T07:46:42.426170Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2109.00110","last_updated":"2022-02-28T06:03:23Z","snapshot_observed_at":"2026-08-13T23:22:10.534744Z","submitted_at":"2021-08-31T23:21:12Z","title":"MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics","version":2},"cited_work":{"arxiv_id":"2109.00110","doi":"10.48550/arxiv.2109.00110","metadata_source":"pith","pith_arxiv_id":"2109.00110","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics","venue":"cs.AI","work_id":"a2b8fa24-3524-46cc-b33e-a2f51303d17d","year":2021},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"cited_paper":"/paper/2109.00110","citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:05e347b5f2b13d289c949e1cd42f53db85ba5e0cc89e57485af214c2a2699939","observation_id":"3bdd9fb2-dcc6-44e9-a9d5-2ee59fca8884","resolution":{"observed_at":"2026-05-25T07:46:42.267188Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","latest_version":4,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics"},"reference_resolution":{"displayed":73,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":2,"verified_exact":22,"verified_fuzzy":48},"total_outbound_references":73},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"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."}