{"as_of":"2026-08-08T17:13:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:5d30874c3f2b9c7458271451f33396e9f08d06a0f1aa00652c8009780d0c94a3","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":31,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":31,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":31,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":31,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-08T12:07:05.036407Z","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-05T18:50:54.811289Z","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:cf045ca600820c6a416499b09ef8acb1ef3692a91206d80898f92f71d51a1b91","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+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-08T06:31:55.24221+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-05T18:50:54.811289Z","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:c97d8450b592141d1f5d7f0ccc09f756a7f0493d909e76298ef1272edd4779ab","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-05T18:50:54.811289Z","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:cb7815af3c4ea0238c376d97fb90cbe94888ffc8004a1b754d7c693510ece212","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+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-08T06:31:55.24221+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-05T18:50:54.811289Z","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:77f36bfbbf1dd8711bf5f41c675a2e5a5a97eb999eab34e54ca7c791b31c537a","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-05T18:50:54.811289Z","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-07T16:09:20.306663Z","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:9bc405ddb83bb35106fd44cd9d4e0d91afb91fe6b525130be6db91957a6f4710","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-05T18:50:54.811289Z","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:d124a288db29fc39fc8c1d0499278b93036091e8b406d5a4092e5c68b67583c7","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+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-08T06:31:55.24221+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-05T18:50:54.811289Z","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-07T23:32:23.352137Z","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:0356fa61b17a6aeaad6d51ae320c4d5845b6e398543d249edc827e1d4734f5dc","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-05T18:50:54.811289Z","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:113ce38f397d2e8b267afaf9fdd4ca858fff69947f8f6a53b10e90b7bdc76085","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-05T18:50:54.811289Z","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:4b08ac839c5a63a08ca79a8296dded985e69db9a3f6e4516628cd16a6bcfb8cc","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-05T18:50:54.811289Z","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:2de10dc50077489a66236e711b1fcdc81e2df519936d38e33cf029a6e03d2a16","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-05T18:50:54.811289Z","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:718dc88f02240e88b13f88c7cd4542d4b75c444f4d18eca0074c0c3787fa431f","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-05T18:50:54.811289Z","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:14315e91faaf26dc3429d5bd6582660072e54c8b10db69f9c20b2cd55d31d869","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-05T18:50:54.811289Z","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:8c19ac46c75eb7624b45608a313c6ebd65c79b090a2870eb8bd8b976573e8bfe","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-05T18:50:54.811289Z","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:ea81403e05b915125d9369af4792a7c48bcee5c798fd440ee0752e137bd52533","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+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-08T06:31:55.24221+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-05T18:50:54.811289Z","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:d5a5436767075fe110a57776709d32771ad4f2344d9ff15f6113b13942eed8c6","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+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-08T06:31:55.24221+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-05T18:50:54.811289Z","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:86039592b061aa3d78259d945e1faa6e09ec0574b563b47b9e0b06776a7888c5","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+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-08T06:31:55.24221+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-05T18:50:54.811289Z","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:661e530a680557d489ef8dcff967e2193ee6a9e25b3365c79cb5c3ab57c758e9","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+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-08T06:31:55.24221+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-05T18:50:54.811289Z","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:3143b8ad1160b51ffcf24be290e93368eca10c3419f09e3832f3349dac6afb22","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+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-08T06:31:55.24221+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-05T18:50:54.811289Z","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:3e4a6b7418e9a0c1a6f4ec480014fd37ff288f56be26385a12be1e2226e13d4e","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+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-08T06:31:55.24221+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-05T18:50:54.811289Z","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:bb757185466be7aec36a62ebf0421210122529e43fbde5aeb782c56aa883b7dc","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+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-08T06:31:55.24221+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-05T18:50:54.811289Z","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:fa6efe2c41a80dcdcea062eff1d1a6ca78fca90ca1a13c39c930789eb29f952b","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+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-08T06:31:55.24221+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-05T18:50:54.811289Z","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:361a55ea5e5bfdee95895c93de72b9b2edc676e1c537dbbecf7eb6e821bb04dc","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+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-08T06:31:55.24221+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-05T18:50:54.811289Z","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:e9cb0d1aea454bdd58242d5acd625d0f9265eb5926a000dff7d989a2cff102e0","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+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-08T06:31:55.24221+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-05T18:50:54.811289Z","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:c87313e0d337f83c0aa2fa0a5e46cebcdf0911d6a0ba6ae559c8e24b96a675fe","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+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-08T06:31:55.24221+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-05T18:50:54.811289Z","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:a799e49b42b41f970b9de8a41f9a1e63875af6b06c4e547514b6b1bdabdeb573","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+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-08T06:31:55.24221+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-05T18:50:54.811289Z","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:de98d85359e1a1d80c6a9e9a1c613e5efb013484807ee75fc573f160f5b0cb6a","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+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-08T06:31:55.24221+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-05T18:50:54.811289Z","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:5b908d1b417ff8aa559cbc3639d3b7b73f1276f6c5f75a921232df670d00fa6a","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+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-08T06:31:55.24221+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-05T18:50:54.811289Z","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:76aa4c158b0a68e57d9ddc6f42385f3b8d7fbd734597e88809d4e2162a03e243","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-05T18:50:54.811289Z","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:9747775e111930e89aacb382e529d3716eadfdde3c51bfd803c1255395dc7e59","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-05T18:50:54.811289Z","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-07T23:11:42.830643Z","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:e1b7bb88e65f2c6242dcae443466458f889c9dd5233735abf25485e7b5e007ee","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-05T18:50:54.811289Z","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-06T23:26:58.684733Z","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:b696542139ba4827e4d7d5eb40eaceb923f7da1734d28487415813027c40f5d1","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-05T18:50:54.811289Z","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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 31 inbound Pith citation observations for arXiv:2407.11214."}