{"as_of":"2026-08-09T19:29:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:1f66fa5e041130c1973f194d7e76cb322e4d3886a41a331255f2f6be94ea34e4","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":32,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":32,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":32,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":32,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-08T22:00:46.392984Z","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":1,"observed_at":"2026-08-05T02:28:24.338817Z","source":"pith"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":"2407.11214","doi":"10.48550/arxiv.2407.11214","metadata_source":"pith","pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CoRR , volume=","venue":"cs.AI","work_id":"0cad43ad-ae3a-4db7-8d68-131238a0ad95","year":2024},"citing_paper":{"arxiv_id":"2501.14249","last_updated":"2026-02-20T04:23:01Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-01-24T05:27:46Z","title":"Humanity's Last Exam","version":10},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-05-10T18:40:50.139345Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2501.14249"},"observation_digest":"sha256:da22901a448609c30e5662537b06a112f9687cd363eb8653e15cdd36a950b7d4","observation_id":"78453e3f-994b-4be4-b14a-32a9eb819004","resolution":{"observed_at":"2026-05-10T18:40:50.306620Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-08T22:00:46.392984Z","title":"Putnambench: Evaluating neural theorem-provers on the putnam mathematical competition, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.392984Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:664f4f8c58a9d93bad21af7e844e811091e28f23726c0ac4efb95f1308692bb9","observation_id":"85455684-eeac-4edf-bbd2-abed94d25ea1","resolution":{"observed_at":"2026-08-08T22:00:46.392984Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-08T12:07:05.036407Z","title":"Putnambench: Evaluating neural theorem- provers on the putnam mathematical competition","venue":null,"work_id":null,"year":null},"citing_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},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-08T12:07:05.036407Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2502.07640"},"observation_digest":"sha256:6a52643902edad60298d03fddd1d74b2dcf02d1471338ae2418a0e8d3ee15628","observation_id":"8c95dd18-1e29-4885-9d17-00c823fdb9eb","resolution":{"observed_at":"2026-08-08T12:07:05.036407Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":"2407.11214","doi":"10.48550/arxiv.2407.11214","metadata_source":"pith","pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CoRR , volume=","venue":"cs.AI","work_id":"0cad43ad-ae3a-4db7-8d68-131238a0ad95","year":2024},"citing_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},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-17T18:32:40.880435Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2504.11354"},"observation_digest":"sha256:6245fa758b3b2861b1426c8970fcbc6343ce1f31f98010fcc7a96e1b869dcf30","observation_id":"1640ce97-cb64-4d6a-ae3f-fe1c9ff09528","resolution":{"observed_at":"2026-05-17T18:32:40.910676Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-07T14:34:09.417792Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.18492","last_updated":"2026-06-30T15:33:33Z","snapshot_observed_at":"2026-08-07T23:35:26.397590Z","submitted_at":"2025-05-24T03:52:25Z","title":"Formally Solving Answer-Construction Problems in Lean","version":6},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-07T14:34:09.417792Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2505.18492"},"observation_digest":"sha256:57b1852ae959eab19d33f541b0fb42fe4b5628e6b89fad66199e5947dea2e163","observation_id":"ae65675f-1f36-409d-912c-56332d3a9584","resolution":{"observed_at":"2026-08-07T14:34:09.417792Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-07T13:05:25.371971Z","title":"PutnamBench: Evaluating neural theorem-provers on the putnam mathematical competition.arXiv [cs.AI], 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.22756","last_updated":"2025-05-28T18:18:49Z","snapshot_observed_at":"2026-08-09T07:44:16.988298Z","submitted_at":"2025-05-28T18:18:49Z","title":"Decomposing Elements of Problem Solving: What \"Math\" Does RL Teach?","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T13:05:25.371971Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2505.22756"},"observation_digest":"sha256:44548b83df61107f381d4c935a797b89d1c4c5e5cc7f16bd31a803cd1684877e","observation_id":"023917f0-443d-47fe-aa5f-43cee0c92f78","resolution":{"observed_at":"2026-08-07T13:05:25.371971Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":"2407.11214","doi":"10.48550/arxiv.2407.11214","metadata_source":"pith","pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CoRR , volume=","venue":"cs.AI","work_id":"0cad43ad-ae3a-4db7-8d68-131238a0ad95","year":2024},"citing_paper":{"arxiv_id":"2505.23281","last_updated":"2026-01-14T21:39:58Z","snapshot_observed_at":"2026-08-02T10:05:44.330694Z","submitted_at":"2025-05-29T09:28:06Z","title":"MathArena: Evaluating LLMs on Uncontaminated Math Competitions","version":3},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-05-15T00:10:14.812539Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2505.23281"},"observation_digest":"sha256:99ea1cb822479f19bd3f0520a01a045629f061001156e545b02a574ec5baf345","observation_id":"6682b7f7-74f1-4ac8-bde0-9a638f0defc3","resolution":{"observed_at":"2026-05-15T00:10:14.872571Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-07T06:08:26.694429Z","title":"Putnambench: Evaluating neural theorem-provers on the putnam mathematical competition.arXiv preprint arXiv:2407.11214, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.06034","last_updated":"2025-06-06T12:33:12Z","snapshot_observed_at":"2026-08-09T18:24:38.296461Z","submitted_at":"2025-06-06T12:33:12Z","title":"MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems?","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-07T06:08:26.694429Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2506.06034"},"observation_digest":"sha256:0078799e8e797912452e10229799da1d97b64b666fdda268277b3dd9a2a2c988","observation_id":"d0cab9c9-272d-4b39-9ffc-587b1563e01b","resolution":{"observed_at":"2026-08-07T06:08:26.694429Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-07T05:50:36.692151Z","title":"Putnambench: Evaluating neural theorem-provers on the putnam mathematical competition.arXiv preprint arXiv:2407.11214, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.07047","last_updated":"2025-06-08T09:04:14Z","snapshot_observed_at":"2026-08-08T15:57:39.040729Z","submitted_at":"2025-06-08T09:04:14Z","title":"Mathesis: Towards Formal Theorem Proving from Natural Languages","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T05:50:36.692151Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2506.07047"},"observation_digest":"sha256:cee59128535b25f4c1d2e57f860bf3b4900db5bdb55eebedf4fa08f8894c5e6b","observation_id":"db110a9d-160a-4049-b9d8-16211cbc2dbd","resolution":{"observed_at":"2026-08-07T05:50:36.692151Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-06T22:17:28.810180Z","title":"Putnambench: Evaluating neural theorem-provers on the putnam mathematical competition, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.22005","last_updated":"2025-06-27T08:17:18Z","snapshot_observed_at":"2026-08-06T22:10:53.633909Z","submitted_at":"2025-06-27T08:17:18Z","title":"LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-06T22:17:28.810180Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2506.22005"},"observation_digest":"sha256:05be642829429b41f0c0e49bfb98335fff838da7e47970050515edfb2d77584b","observation_id":"6f38a1ea-c9a6-48bf-9f5f-846568caa664","resolution":{"observed_at":"2026-08-06T22:17:28.810180Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-06T18:18:46.473010Z","title":"Tsoukalas, J","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.08649","last_updated":"2025-07-11T14:53:14Z","snapshot_observed_at":"2026-08-08T00:43:04.480024Z","submitted_at":"2025-07-11T14:53:14Z","title":"Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T18:18:46.473010Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2507.08649"},"observation_digest":"sha256:672c05b50bf908056c5106b0d21b87596e9fad6faa4816cddfe341d34b897c21","observation_id":"338f8433-643c-49dc-8de2-86666a1c4b02","resolution":{"observed_at":"2026-08-06T18:18:46.473010Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-06T17:17:14.287824Z","title":"org/CorpusID:27548688","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2507.11275","last_updated":"2025-07-15T12:52:47Z","snapshot_observed_at":"2026-08-07T23:36:30.617168Z","submitted_at":"2025-07-15T12:52:47Z","title":"FMC: Formalization of Natural Language Mathematical Competition Problems","version":1},"reference_index":1993,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:14.287824Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2507.11275"},"observation_digest":"sha256:4b2c154345a8ef68375830aeab25a631a7b610fd8d3bbf8e0caf25ba227b009b","observation_id":"32c37c79-a739-4ea2-9f14-b1641c4bc42e","resolution":{"observed_at":"2026-08-06T17:17:14.287824Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-06T15:54:12.542305Z","title":"Putnambench: Evaluating neural theorem-provers on the putnam mathematical competition","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.14722","last_updated":"2025-07-19T18:50:07Z","snapshot_observed_at":"2026-08-08T17:02:10.648664Z","submitted_at":"2025-07-19T18:50:07Z","title":"LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 4","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-06T15:54:12.542305Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2507.14722"},"observation_digest":"sha256:ae6079c1c967c0221c5d45f2539dffd1e15200f9122420afd06a090fc9322315","observation_id":"33c46597-ee6b-481c-8225-5301b60911b4","resolution":{"observed_at":"2026-08-06T15:54:12.542305Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-06T05:11:55.754176Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:55.754176Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:b962b6662a596f617cf5b359b0aae3871d62a56644b39f8f91c682cc4692fa6b","observation_id":"166919a2-b4f3-477e-bdff-ceb64a4f7182","resolution":{"observed_at":"2026-08-06T05:11:55.754176Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":"2407.11214","doi":"10.48550/arxiv.2407.11214","metadata_source":"pith","pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CoRR , volume=","venue":"cs.AI","work_id":"0cad43ad-ae3a-4db7-8d68-131238a0ad95","year":2024},"citing_paper":{"arxiv_id":"2510.01346","last_updated":"2025-10-10T20:12:14Z","snapshot_observed_at":"2026-08-02T06:00:59.770868Z","submitted_at":"2025-10-01T18:21:13Z","title":"Aristotle: IMO-level Automated Theorem Proving","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-05-15T08:51:37.827144Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2510.01346"},"observation_digest":"sha256:2fa057a22ea6df3cae09367e7f93df1984e1f9339f215c188dd54e039f1fa131","observation_id":"7d51ecbe-5594-4daf-aed5-1686d92de048","resolution":{"observed_at":"2026-05-15T08:51:37.935310Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":"2407.11214","doi":"10.48550/arxiv.2407.11214","metadata_source":"pith","pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CoRR , volume=","venue":"cs.AI","work_id":"0cad43ad-ae3a-4db7-8d68-131238a0ad95","year":2024},"citing_paper":{"arxiv_id":"2602.24273","last_updated":"2026-05-14T16:23:55Z","snapshot_observed_at":"2026-08-02T04:41:42.758635Z","submitted_at":"2026-02-27T18:43:47Z","title":"A Minimal Agent for Automated Theorem Proving","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-15T18:44:35.600033Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2602.24273"},"observation_digest":"sha256:dacb94717a8f3ce1fbb04ead262fc8d5365e9ad44ba2fa1b65f08c63790cbfa7","observation_id":"a097a9c2-347b-4913-aeb6-edb3879cafbc","resolution":{"observed_at":"2026-05-15T18:46:29.328610Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":"2407.11214","doi":"10.48550/arxiv.2407.11214","metadata_source":"pith","pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CoRR , volume=","venue":"cs.AI","work_id":"0cad43ad-ae3a-4db7-8d68-131238a0ad95","year":2024},"citing_paper":{"arxiv_id":"2604.06107","last_updated":"2026-04-07T17:19:33Z","snapshot_observed_at":"2026-08-02T22:31:38.680706Z","submitted_at":"2026-04-07T17:19:33Z","title":"Artificial Intelligence and the Structure of Mathematics","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-05-10T19:12:23.402808Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2604.06107"},"observation_digest":"sha256:76936877c5aeebe662597d2330c96a1ba1c0a0ac4633dda8094af2b68d4a6a46","observation_id":"eec8a430-c95c-47f0-8fff-0cb870c6851d","resolution":{"observed_at":"2026-05-10T23:20:52.989360Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":"2407.11214","doi":"10.48550/arxiv.2407.11214","metadata_source":"pith","pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CoRR , volume=","venue":"cs.AI","work_id":"0cad43ad-ae3a-4db7-8d68-131238a0ad95","year":2024},"citing_paper":{"arxiv_id":"2604.06802","last_updated":"2026-06-23T06:45:36Z","snapshot_observed_at":"2026-07-13T08:50:52.244397Z","submitted_at":"2026-04-08T08:16:37Z","title":"Riemann-Bench: A Benchmark for Moonshot Mathematics","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-10T18:02:42.607682Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2604.06802"},"observation_digest":"sha256:2fd2712539dfab90dc43e3da5a90e3af2514d01247c8c469c16f17cacb2f3802","observation_id":"9c852926-98b4-4f31-b3b2-4d60473b2586","resolution":{"observed_at":"2026-05-11T05:36:00.842251Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":"2407.11214","doi":"10.48550/arxiv.2407.11214","metadata_source":"pith","pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CoRR , volume=","venue":"cs.AI","work_id":"0cad43ad-ae3a-4db7-8d68-131238a0ad95","year":2024},"citing_paper":{"arxiv_id":"2604.15839","last_updated":"2026-04-17T08:40:48Z","snapshot_observed_at":"2026-07-06T23:03:16.345488Z","submitted_at":"2026-04-17T08:40:48Z","title":"Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-10T08:36:05.085140Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2604.15839"},"observation_digest":"sha256:f49c0de8df1046e73940e2fdc23f7fe78273b61f7e1aef29af7d4aae1738e9c9","observation_id":"4baa34cb-2dd4-4cad-8fb7-4428362b6ed3","resolution":{"observed_at":"2026-05-10T08:48:02.547179Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":"2407.11214","doi":"10.48550/arxiv.2407.11214","metadata_source":"pith","pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CoRR , volume=","venue":"cs.AI","work_id":"0cad43ad-ae3a-4db7-8d68-131238a0ad95","year":2024},"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":14,"source":"pdf_text","source_observed_at":"2026-05-10T04:58:24.217267Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2604.18050"},"observation_digest":"sha256:3e1edb2c9cb690405776b109f0e5c06f3ef459014341d18ee3f02e67ea09c6d7","observation_id":"e7a85efc-4d4d-4055-bb5c-9d9e9e43d1b9","resolution":{"observed_at":"2026-05-10T10:29:25.470598Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":"2407.11214","doi":"10.48550/arxiv.2407.11214","metadata_source":"pith","pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CoRR , volume=","venue":"cs.AI","work_id":"0cad43ad-ae3a-4db7-8d68-131238a0ad95","year":2024},"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":14,"source":"pdf_text","source_observed_at":"2026-07-05T14:25:18.768204Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2604.18050"},"observation_digest":"sha256:a0c88da72737c2abfd2a65883330b0ca4c2611514b8e262738a6bb1782615d84","observation_id":"03fe4896-5a32-4962-9542-6cf617c51855","resolution":{"observed_at":"2026-07-05T14:31:09.361784Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":"2407.11214","doi":"10.48550/arxiv.2407.11214","metadata_source":"pith","pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CoRR , volume=","venue":"cs.AI","work_id":"0cad43ad-ae3a-4db7-8d68-131238a0ad95","year":2024},"citing_paper":{"arxiv_id":"2605.13171","last_updated":"2026-05-13T08:33:15Z","snapshot_observed_at":"2026-07-06T23:24:47.309044Z","submitted_at":"2026-05-13T08:33:15Z","title":"Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-14T20:20:54.566662Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2605.13171"},"observation_digest":"sha256:d0a55382bd834d3c9e85d39778e07da42fbdd3bf2294c27e8ff88286e1163bd0","observation_id":"da9d5f12-bf25-458c-bfdf-bd4ae43e84d6","resolution":{"observed_at":"2026-05-14T20:22:55.293106Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":"2407.11214","doi":"10.48550/arxiv.2407.11214","metadata_source":"pith","pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CoRR , volume=","venue":"cs.AI","work_id":"0cad43ad-ae3a-4db7-8d68-131238a0ad95","year":2024},"citing_paper":{"arxiv_id":"2605.17283","last_updated":"2026-05-17T06:39:05Z","snapshot_observed_at":"2026-08-08T15:14:20.631028Z","submitted_at":"2026-05-17T06:39:05Z","title":"OProver: A Unified Framework for Agentic Formal Theorem Proving","version":1},"reference_index":125,"source":"arxiv_source","source_observed_at":"2026-05-20T14:43:46.517807Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2605.17283"},"observation_digest":"sha256:86493db2016ab43cd02c7401cdac0815b3aee4b06e271f3bac5de38e651f497a","observation_id":"95e848a4-9bad-4916-b7b7-280f09d47979","resolution":{"observed_at":"2026-05-20T14:48:23.111424Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":"2407.11214","doi":"10.48550/arxiv.2407.11214","metadata_source":"pith","pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CoRR , volume=","venue":"cs.AI","work_id":"0cad43ad-ae3a-4db7-8d68-131238a0ad95","year":2024},"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":15,"source":"pdf_text","source_observed_at":"2026-06-29T14:54:59.333847Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2605.27485"},"observation_digest":"sha256:edfd6750afb859af8301f890db529d2303f28fd47a18479899f20ea15b3fc439","observation_id":"bf737a71-2252-4ffb-8c91-0e34d27d41df","resolution":{"observed_at":"2026-06-29T15:03:31.352386Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":"2407.11214","doi":"10.48550/arxiv.2407.11214","metadata_source":"pith","pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CoRR , volume=","venue":"cs.AI","work_id":"0cad43ad-ae3a-4db7-8d68-131238a0ad95","year":2024},"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":94,"source":"pdf_text","source_observed_at":"2026-06-28T23:52:36.891080Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2605.30914"},"observation_digest":"sha256:78af7f3505f92e1b065261b7029389e4cbc15939d2d20424f396a92d37e6d4af","observation_id":"08a43b1d-d1be-4d22-a632-63c2f763d702","resolution":{"observed_at":"2026-06-28T23:52:48.521493Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":"2407.11214","doi":"10.48550/arxiv.2407.11214","metadata_source":"pith","pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CoRR , volume=","venue":"cs.AI","work_id":"0cad43ad-ae3a-4db7-8d68-131238a0ad95","year":2024},"citing_paper":{"arxiv_id":"2606.01861","last_updated":"2026-06-01T08:12:47Z","snapshot_observed_at":"2026-08-08T14:13:36.689359Z","submitted_at":"2026-06-01T08:12:47Z","title":"A Theoretical Framework for Self-Play Theorem Proving Algorithms","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-06-28T15:34:31.689776Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2606.01861"},"observation_digest":"sha256:29548b688a1add4ca500c8651a7474f43b905bc9e1963b5221f28c806162aee4","observation_id":"e4bff53a-7e7d-44b1-b86e-e49bfa0d987d","resolution":{"observed_at":"2026-07-01T22:16:16.412562Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":"2407.11214","doi":"10.48550/arxiv.2407.11214","metadata_source":"pith","pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CoRR , volume=","venue":"cs.AI","work_id":"0cad43ad-ae3a-4db7-8d68-131238a0ad95","year":2024},"citing_paper":{"arxiv_id":"2606.09450","last_updated":"2026-06-08T12:57:18Z","snapshot_observed_at":"2026-08-02T11:29:46.747086Z","submitted_at":"2026-06-08T12:57:18Z","title":"TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-06-27T16:19:11.123994Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2606.09450"},"observation_digest":"sha256:73a884a1c01105ca4eb697a3f93d79786603d8b7e51123bed8fbbc88ec678104","observation_id":"0ded1e03-23c1-42ea-b4b3-8af851f7a2ea","resolution":{"observed_at":"2026-07-03T01:47:31.566422Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":"2407.11214","doi":"10.48550/arxiv.2407.11214","metadata_source":"pith","pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CoRR , volume=","venue":"cs.AI","work_id":"0cad43ad-ae3a-4db7-8d68-131238a0ad95","year":2024},"citing_paper":{"arxiv_id":"2606.25363","last_updated":"2026-06-24T03:47:05Z","snapshot_observed_at":"2026-08-03T02:13:50.813895Z","submitted_at":"2026-06-24T03:47:05Z","title":"TheoremGraph: Bridging Formal and Informal Mathematics","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-06-25T20:45:54.867101Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2606.25363"},"observation_digest":"sha256:78c8119abff802d8a63897e0ab6692c0aa952f82a281a9181170108ac2dba659","observation_id":"42dfb04e-7ad8-47e9-8df9-235998ff48de","resolution":{"observed_at":"2026-07-04T20:10:07.152273Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-01T18:17:13.005816Z","title":"Putnambench: Evaluating neural theorem-provers on the putnam mathematical competition","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-07T08:55:54.204026Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:13.005816Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:fe63f3c37b4693d3917fc91b7ad3a1ce4ed29d81d545adee0968e6328db771ae","observation_id":"cbf47e25-73b6-4666-b3e1-3458db8d175c","resolution":{"observed_at":"2026-08-01T18:17:13.005816Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-02T09:51:59.482077Z","title":"doi:10.48550/arXiv.2407.11214 , url =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-02T09:51:59.482077Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2607.20503"},"observation_digest":"sha256:a111a9cc6490d6815dc30e5d1d33ed838828bae0fb72540f051814fd5103dd19","observation_id":"39f97e33-737e-46a5-85d0-6b69c90ae366","resolution":{"observed_at":"2026-08-02T09:51:59.482077Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-01T04:34:00.703783Z","title":"PutnamBench: Evaluating neural theorem-provers on the Putnam mathematical competition.Advances in Neural Information Processing Systems (NeurIPS), 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.22511","last_updated":"2026-08-04T17:10:35Z","snapshot_observed_at":"2026-08-09T11:09:13.924121Z","submitted_at":"2026-07-24T17:32:35Z","title":"CausalForge: A Formally Grounded, Self-Improving Agentic Framework for Automated Research in Causal Inference","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-01T04:34:00.703783Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2607.22511"},"observation_digest":"sha256:dba018e69caafcbafaacf3f29e45c672679398f47fd142bfc023a6580ae012ba","observation_id":"e9255b0e-b4b7-4263-bae7-4c57771f0cfe","resolution":{"observed_at":"2026-08-01T04:34:00.703783Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-06T00:08:26.563300Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.01522","last_updated":"2026-08-02T22:19:01Z","snapshot_observed_at":"2026-08-09T08:15:52.624300Z","submitted_at":"2026-08-02T22:19:01Z","title":"Question Begets Question: Self-Evolving Curriculum for Reinforcement Fine-Tuning on Competition Mathematics","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-06T00:08:26.563300Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2608.01522"},"observation_digest":"sha256:e91fdb2936ed2ab617df9f8741feef53925c14905d2c9d12d401a068057411d0","observation_id":"c73a7ed3-e9d1-4db3-996e-c6cf06bdff0d","resolution":{"observed_at":"2026-08-06T00:08:26.563300Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2407.11214/citation-record","integrity":"/paper/2407.11214/integrity","json":"/paper/2407.11214/citation-record.json","paper":"/paper/2407.11214"},"outbound":[],"paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","latest_version":2,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 32 inbound Pith citation observations for arXiv:2407.11214."}