{"as_of":"2026-08-20T18:57:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:8c65eb3b6795dd67e38d7edb5477c8e41625a8046f2c80045d8031b98bba5dd2","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":29,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":29,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+00:00","state":"measured"},{"denominator":29,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":29,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T06:05:42.524951Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"arxiv_reference","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":24,"observed_at":"2026-08-05T02:28:24.338817Z","source":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","snapshot_observed_at":"2026-08-18T15:11:03.601000Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning","version":1},"cited_work":{"arxiv_id":"2202.01344","doi":"10.48550/arxiv.2202.01344","metadata_source":"arxiv_reference","pith_arxiv_id":"2202.01344","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv preprint arXiv:2202.01344 , year=","venue":"arXiv (Cornell University)","work_id":"899fcf0d-69ed-435b-b3a5-0c32024bb4f5","year":2025},"citing_paper":{"arxiv_id":"2303.03378","last_updated":"2023-03-06T18:58:06Z","snapshot_observed_at":"2026-08-14T18:47:26.721223Z","submitted_at":"2023-03-06T18:58:06Z","title":"PaLM-E: An Embodied Multimodal Language Model","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-10T22:29:29.631351Z"},"links":{"cited_paper":"/paper/2202.01344","citing_paper":"/paper/2303.03378"},"observation_digest":"sha256:d6e29174f751611bd68c08dc0503b424ac4baff32b6ac4245e49102e2a5f03ed","observation_id":"706073ba-a5e9-47a0-8e05-3bf21917435d","resolution":{"observed_at":"2026-05-10T22:29:29.994704Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","snapshot_observed_at":"2026-08-18T15:11:03.601000Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning","version":1},"cited_work":{"arxiv_id":"2202.01344","doi":"10.48550/arxiv.2202.01344","metadata_source":"arxiv_reference","pith_arxiv_id":"2202.01344","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv preprint arXiv:2202.01344 , year=","venue":"arXiv (Cornell University)","work_id":"899fcf0d-69ed-435b-b3a5-0c32024bb4f5","year":2025},"citing_paper":{"arxiv_id":"2310.10631","last_updated":"2024-03-15T19:14:39Z","snapshot_observed_at":"2026-08-16T13:51:18.629241Z","submitted_at":"2023-10-16T17:54:07Z","title":"Llemma: An Open Language Model For Mathematics","version":3},"reference_index":172,"source":"arxiv_source","source_observed_at":"2026-05-19T08:17:46.055279Z"},"links":{"cited_paper":"/paper/2202.01344","citing_paper":"/paper/2310.10631"},"observation_digest":"sha256:bf8ac79a572dd844f457851d08eaefbf49c8edcc38ae0f3553941486ea7a3066","observation_id":"62cb9432-f035-49d2-9007-a33a01ee8fbd","resolution":{"observed_at":"2026-05-19T08:17:46.557309Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","snapshot_observed_at":"2026-08-18T15:11:03.601000Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2202.01344","snapshot_observed_at":"2026-08-11T20:02:27.517219Z","title":"M., Zheng, K., Baksys, M., Babuschkin, I., and Sutskever, I","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.06176","last_updated":"2024-12-09T03:22:35Z","snapshot_observed_at":"2026-08-16T00:32:52.362957Z","submitted_at":"2024-12-09T03:22:35Z","title":"AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-11T20:02:27.517219Z"},"links":{"cited_paper":"/paper/2202.01344","citing_paper":"/paper/2412.06176"},"observation_digest":"sha256:5a3ef7d1284d4505b2558a48074dce10d6130271da9d19dc0f017f19ee92b081","observation_id":"a81ba4ea-a74c-49b5-84cb-6308c28ab956","resolution":{"observed_at":"2026-08-11T20:02:27.517219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","snapshot_observed_at":"2026-08-18T15:11:03.601000Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2202.01344","snapshot_observed_at":"2026-08-11T15:47:53.413646Z","title":"Polu, et al","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.413646Z"},"links":{"cited_paper":"/paper/2202.01344","citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:a7ea8c98d0d110cb94753c2cd25e20d100a26145544624efd6cb3daa6a9b0f00","observation_id":"49a663e9-04ab-40e3-a937-1df6267141b0","resolution":{"observed_at":"2026-08-11T15:47:53.413646Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","snapshot_observed_at":"2026-08-18T15:11:03.601000Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2202.01344","snapshot_observed_at":"2026-08-10T18:06:45.871714Z","title":"& Sutskever, I","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.11618","last_updated":"2025-01-20T17:32:01Z","snapshot_observed_at":"2026-08-18T00:13:13.014212Z","submitted_at":"2025-01-20T17:32:01Z","title":"Enhancing IoT Network Security through Adaptive Curriculum Learning and XAI","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-10T18:06:45.871714Z"},"links":{"cited_paper":"/paper/2202.01344","citing_paper":"/paper/2501.11618"},"observation_digest":"sha256:72bda40a3524695d033aaad9c4a628ecddb01e6d223b7a98d7bb400c926f075f","observation_id":"ed671f27-3e0f-4b51-8f2e-463cffb8d620","resolution":{"observed_at":"2026-08-10T18:06:45.871714Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","snapshot_observed_at":"2026-08-18T15:11:03.601000Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2202.01344","snapshot_observed_at":"2026-08-10T14:55:35.464689Z","title":"Formal mathematics statement curriculum learning","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-10T14:55:35.464689Z"},"links":{"cited_paper":"/paper/2202.01344","citing_paper":"/paper/2501.14705"},"observation_digest":"sha256:d27c915a0107bf6d8d8252d9aebc8489ab027f7adbf36635febdf21bfa63c3e5","observation_id":"1f0d19df-7035-4e95-adb6-926b8a6326d3","resolution":{"observed_at":"2026-08-10T14:55:35.464689Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","snapshot_observed_at":"2026-08-18T15:11:03.601000Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2202.01344","snapshot_observed_at":"2026-08-10T00:06:30.350384Z","title":"Schumann, J","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.18310","last_updated":"2025-06-06T13:30:31Z","snapshot_observed_at":"2026-08-15T02:29:06.381770Z","submitted_at":"2025-01-30T12:37:06Z","title":"ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-10T00:06:30.350384Z"},"links":{"cited_paper":"/paper/2202.01344","citing_paper":"/paper/2501.18310"},"observation_digest":"sha256:d7b79020c0b03df22d1f5b520dc15a6e4aea09594b8edaeb910a6f4650ccb355","observation_id":"36efdbb1-0408-4f5a-9d19-3042f77a3add","resolution":{"observed_at":"2026-08-10T00:06:30.350384Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","snapshot_observed_at":"2026-08-18T15:11:03.601000Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2202.01344","snapshot_observed_at":"2026-08-09T17:40:02.163668Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2502.00817","last_updated":"2025-02-02T14:53:14Z","snapshot_observed_at":"2026-08-18T21:48:12.207350Z","submitted_at":"2025-02-02T14:53:14Z","title":"Probing Large Language Models in Reasoning and Translating Complex Linguistic Puzzles","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-09T17:40:02.163668Z"},"links":{"cited_paper":"/paper/2202.01344","citing_paper":"/paper/2502.00817"},"observation_digest":"sha256:05c2bf98fdd41c125852a8f5ce039f121ded840b3a43f179e0059af3f38aaef1","observation_id":"a1e6fac0-bebd-4d61-8e8a-39ee8d96df3b","resolution":{"observed_at":"2026-08-09T17:40:02.163668Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","snapshot_observed_at":"2026-08-18T15:11:03.601000Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2202.01344","snapshot_observed_at":"2026-08-08T12:07:05.024782Z","title":"Formal mathematics statement curriculum learning","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-19T20:10:21.442760Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-08T12:07:05.024782Z"},"links":{"cited_paper":"/paper/2202.01344","citing_paper":"/paper/2502.07640"},"observation_digest":"sha256:f33988a915026b2af14f691812c89ba1eb753e9d12341ed22be35c532cae2812","observation_id":"ba48127b-7247-4125-abcf-b76d401b5e27","resolution":{"observed_at":"2026-08-08T12:07:05.024782Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","snapshot_observed_at":"2026-08-18T15:11:03.601000Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2202.01344","snapshot_observed_at":"2026-08-16T06:05:42.524951Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-18T04:14:24.488538Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.524951Z"},"links":{"cited_paper":"/paper/2202.01344","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:d26722e9dc5084621ea23bd79d7f6f57fc7a4c0de8a7439f23059d454e7273d9","observation_id":"729f3ea5-ac43-49d9-96f4-3c8f7dea2ca2","resolution":{"observed_at":"2026-08-16T06:05:42.524951Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","snapshot_observed_at":"2026-08-18T15:11:03.601000Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2202.01344","snapshot_observed_at":"2026-08-15T21:05:25.006272Z","title":"Formal mathematics statement curriculum learning","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.10962","last_updated":"2025-05-16T07:56:03Z","snapshot_observed_at":"2026-08-18T15:13:33.527444Z","submitted_at":"2025-05-16T07:56:03Z","title":"MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-15T21:05:25.006272Z"},"links":{"cited_paper":"/paper/2202.01344","citing_paper":"/paper/2505.10962"},"observation_digest":"sha256:6505c0a32cf5672caf83c6a75fdd693c1f99e9ae6b24a8b886e2d5075be6f5c7","observation_id":"17d9c005-6b47-4067-b4ad-3f2270a4bf18","resolution":{"observed_at":"2026-08-15T21:05:25.006272Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","snapshot_observed_at":"2026-08-18T15:11:03.601000Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2202.01344","snapshot_observed_at":"2026-08-15T20:50:26.163090Z","title":"Formal mathematics statement curriculum learning","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.12031","last_updated":"2025-05-17T14:47:36Z","snapshot_observed_at":"2026-08-19T15:38:20.338234Z","submitted_at":"2025-05-17T14:47:36Z","title":"LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-15T20:50:26.163090Z"},"links":{"cited_paper":"/paper/2202.01344","citing_paper":"/paper/2505.12031"},"observation_digest":"sha256:1653b39760e466bb6f865b8f13ec125f739c325efe008b092f1579736f9cde5e","observation_id":"04300f1e-c59f-4f56-a2bb-8a8b9f9877ce","resolution":{"observed_at":"2026-08-15T20:50:26.163090Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","snapshot_observed_at":"2026-08-18T15:11:03.601000Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2202.01344","snapshot_observed_at":"2026-08-07T11:31:02.486788Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.02355","last_updated":"2025-06-20T04:14:47Z","snapshot_observed_at":"2026-08-13T07:28:13.001627Z","submitted_at":"2025-06-03T01:15:15Z","title":"Rewarding the Unlikely: Lifting GRPO Beyond Distribution Sharpening","version":2},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-07T11:31:02.486788Z"},"links":{"cited_paper":"/paper/2202.01344","citing_paper":"/paper/2506.02355"},"observation_digest":"sha256:6d71497bfd062c08b4adef3fc3170da675bee1894d9070aa7f5acb8414142351","observation_id":"2e2a0272-1719-4db1-937c-721ff3994985","resolution":{"observed_at":"2026-08-07T11:31:02.486788Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","snapshot_observed_at":"2026-08-18T15:11:03.601000Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2202.01344","snapshot_observed_at":"2026-08-07T11:26:30.779161Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-18T22:21:41.192443Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:30.779161Z"},"links":{"cited_paper":"/paper/2202.01344","citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:f46ca22294a053201986ebaa335a4c48ac166e9b64f743d29997b97aad0b5e0b","observation_id":"5ccbf9d7-643e-4603-86e9-2c1db926bfae","resolution":{"observed_at":"2026-08-07T11:26:30.779161Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","snapshot_observed_at":"2026-08-18T15:11:03.601000Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2202.01344","snapshot_observed_at":"2026-08-07T06:08:25.636471Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.06034","last_updated":"2025-06-06T12:33:12Z","snapshot_observed_at":"2026-08-17T15:04:03.680821Z","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":2022,"source":"pdf_text","source_observed_at":"2026-08-07T06:08:25.636471Z"},"links":{"cited_paper":"/paper/2202.01344","citing_paper":"/paper/2506.06034"},"observation_digest":"sha256:f13b573f4aecfb7542f016ec60a1a48fac8f7286cf7f4b041ba092ed13c51536","observation_id":"d582042d-f4dd-4256-aa62-48b20b6fda73","resolution":{"observed_at":"2026-08-07T06:08:25.636471Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","snapshot_observed_at":"2026-08-18T15:11:03.601000Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2202.01344","snapshot_observed_at":"2026-08-06T20:31:26.773068Z","title":"Formal mathematics statement curriculum learning.arXiv preprint arXiv:2202.01344, 2022","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.02541","last_updated":"2025-07-03T11:35:34Z","snapshot_observed_at":"2026-08-15T12:14:05.804241Z","submitted_at":"2025-07-03T11:35:34Z","title":"Clarifying Before Reasoning: A Coq Prover with Structural Context","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T20:31:26.773068Z"},"links":{"cited_paper":"/paper/2202.01344","citing_paper":"/paper/2507.02541"},"observation_digest":"sha256:ee14686a077e4b0d63c338a3cc7da22193f80c509a98831aa18c50818113d9c3","observation_id":"5770f19b-080f-44a9-9dd6-c004c4aa502b","resolution":{"observed_at":"2026-08-06T20:31:26.773068Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","snapshot_observed_at":"2026-08-18T15:11:03.601000Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2202.01344","snapshot_observed_at":"2026-08-06T13:47:37.131919Z","title":"Formal mathematics statement curriculum learning","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.20199","last_updated":"2025-08-13T10:58:50Z","snapshot_observed_at":"2026-08-12T16:55:57.874456Z","submitted_at":"2025-07-27T09:38:32Z","title":"StepFun-Prover Preview: Let's Think and Verify Step by Step","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T13:47:37.131919Z"},"links":{"cited_paper":"/paper/2202.01344","citing_paper":"/paper/2507.20199"},"observation_digest":"sha256:b1058b585eeebc3adc7da1b372c8817e7b46d3a62fb694cb17792766b31e3700","observation_id":"b79af29c-1df9-47cf-ad12-4bc2f44c880e","resolution":{"observed_at":"2026-08-06T13:47:37.131919Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","snapshot_observed_at":"2026-08-18T15:11:03.601000Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2202.01344","snapshot_observed_at":"2026-08-06T10:30:44.651424Z","title":"Formal mathematics statement curriculum learning.arXiv preprint arXiv:2202.01344, 2022","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.23726","last_updated":"2025-08-01T03:36:47Z","snapshot_observed_at":"2026-08-15T06:06:32.807242Z","submitted_at":"2025-07-31T17:00:30Z","title":"Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T10:30:44.651424Z"},"links":{"cited_paper":"/paper/2202.01344","citing_paper":"/paper/2507.23726"},"observation_digest":"sha256:8e1e17e4f94dacb96532c7c782746970345f4582594c85ea1c89a3909931ccfe","observation_id":"0b5fc2ff-3100-412c-aab9-077def46bdf5","resolution":{"observed_at":"2026-08-06T10:30:44.651424Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","snapshot_observed_at":"2026-08-18T15:11:03.601000Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning","version":1},"cited_work":{"arxiv_id":"2202.01344","doi":"10.48550/arxiv.2202.01344","metadata_source":"arxiv_reference","pith_arxiv_id":"2202.01344","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv preprint arXiv:2202.01344 , year=","venue":"arXiv (Cornell University)","work_id":"899fcf0d-69ed-435b-b3a5-0c32024bb4f5","year":2025},"citing_paper":{"arxiv_id":"2604.06401","last_updated":"2026-04-07T19:33:54Z","snapshot_observed_at":"2026-08-16T11:54:42.619654Z","submitted_at":"2026-04-07T19:33:54Z","title":"ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Reliable Math/Logic Reasoning","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-10T18:38:34.138545Z"},"links":{"cited_paper":"/paper/2202.01344","citing_paper":"/paper/2604.06401"},"observation_digest":"sha256:937710ac0f714cfc22bc3d040afe180afb7b742775a57c2bc576832a5af2d8e1","observation_id":"8fe8f7b0-413c-4304-844d-63676289469b","resolution":{"observed_at":"2026-05-11T00:15:51.804922Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","snapshot_observed_at":"2026-08-18T15:11:03.601000Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning","version":1},"cited_work":{"arxiv_id":"2202.01344","doi":"10.48550/arxiv.2202.01344","metadata_source":"arxiv_reference","pith_arxiv_id":"2202.01344","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv preprint arXiv:2202.01344 , year=","venue":"arXiv (Cornell University)","work_id":"899fcf0d-69ed-435b-b3a5-0c32024bb4f5","year":2025},"citing_paper":{"arxiv_id":"2604.16421","last_updated":"2026-04-03T11:36:49Z","snapshot_observed_at":"2026-08-16T14:08:04.951834Z","submitted_at":"2026-04-03T11:36:49Z","title":"Measuring Representation Robustness in Large Language Models for Geometry","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-13T19:35:32.531660Z"},"links":{"cited_paper":"/paper/2202.01344","citing_paper":"/paper/2604.16421"},"observation_digest":"sha256:6764279bef342c37ce090d977ad61e80438339e9577cca0bed69478a049aec82","observation_id":"e73a7d58-6a22-476c-a4de-b4ffd2122d18","resolution":{"observed_at":"2026-05-13T19:38:10.526821Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","snapshot_observed_at":"2026-08-18T15:11:03.601000Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning","version":1},"cited_work":{"arxiv_id":"2202.01344","doi":"10.48550/arxiv.2202.01344","metadata_source":"arxiv_reference","pith_arxiv_id":"2202.01344","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv preprint arXiv:2202.01344 , year=","venue":"arXiv (Cornell University)","work_id":"899fcf0d-69ed-435b-b3a5-0c32024bb4f5","year":2025},"citing_paper":{"arxiv_id":"2605.11905","last_updated":"2026-05-12T10:18:28Z","snapshot_observed_at":"2026-08-12T16:25:27.387244Z","submitted_at":"2026-05-12T10:18:28Z","title":"Rethinking Supervision Granularity: Segment-Level Learning for LLM-Based Theorem Proving","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-13T06:07:29.492413Z"},"links":{"cited_paper":"/paper/2202.01344","citing_paper":"/paper/2605.11905"},"observation_digest":"sha256:5c782c24aea78bc2c52cebc5c3a689a2f5ee5f4cc55ccc543dc81bcd60c09972","observation_id":"83b5bb48-9302-4194-80d9-51864b9757c7","resolution":{"observed_at":"2026-05-13T06:12:22.916195Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","snapshot_observed_at":"2026-08-18T15:11:03.601000Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning","version":1},"cited_work":{"arxiv_id":"2202.01344","doi":"10.48550/arxiv.2202.01344","metadata_source":"arxiv_reference","pith_arxiv_id":"2202.01344","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv preprint arXiv:2202.01344 , year=","venue":"arXiv (Cornell University)","work_id":"899fcf0d-69ed-435b-b3a5-0c32024bb4f5","year":2025},"citing_paper":{"arxiv_id":"2605.12809","last_updated":"2026-05-12T23:01:29Z","snapshot_observed_at":"2026-08-15T05:36:43.446023Z","submitted_at":"2026-05-12T23:01:29Z","title":"Correcting Influence: Unboxing LLM Outputs with Orthogonal Latent Spaces","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-05-14T20:17:01.224864Z"},"links":{"cited_paper":"/paper/2202.01344","citing_paper":"/paper/2605.12809"},"observation_digest":"sha256:9b0368ec6f8dd1047bd3347505c377da160ffae7cf428ebb35f614b3b0383dd2","observation_id":"9af0cbbb-931b-47db-a47d-0c73852659aa","resolution":{"observed_at":"2026-05-14T20:19:27.629072Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","snapshot_observed_at":"2026-08-18T15:11:03.601000Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning","version":1},"cited_work":{"arxiv_id":"2202.01344","doi":"10.48550/arxiv.2202.01344","metadata_source":"arxiv_reference","pith_arxiv_id":"2202.01344","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv preprint arXiv:2202.01344 , year=","venue":"arXiv (Cornell University)","work_id":"899fcf0d-69ed-435b-b3a5-0c32024bb4f5","year":2025},"citing_paper":{"arxiv_id":"2605.17283","last_updated":"2026-05-17T06:39:05Z","snapshot_observed_at":"2026-08-14T15:06:22.101894Z","submitted_at":"2026-05-17T06:39:05Z","title":"OProver: A Unified Framework for Agentic Formal Theorem Proving","version":1},"reference_index":129,"source":"arxiv_source","source_observed_at":"2026-05-20T14:43:46.517807Z"},"links":{"cited_paper":"/paper/2202.01344","citing_paper":"/paper/2605.17283"},"observation_digest":"sha256:598f741b688be8bbf188ab68babff95b061ac966878cca00a2a0fe99f6910926","observation_id":"1f5cdd50-fc6e-4ccd-9176-37772fd69410","resolution":{"observed_at":"2026-05-20T14:48:23.554764Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","snapshot_observed_at":"2026-08-18T15:11:03.601000Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning","version":1},"cited_work":{"arxiv_id":"2202.01344","doi":"10.48550/arxiv.2202.01344","metadata_source":"arxiv_reference","pith_arxiv_id":"2202.01344","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv preprint arXiv:2202.01344 , year=","venue":"arXiv (Cornell University)","work_id":"899fcf0d-69ed-435b-b3a5-0c32024bb4f5","year":2025},"citing_paper":{"arxiv_id":"2605.27485","last_updated":"2026-05-26T14:50:47Z","snapshot_observed_at":"2026-08-02T13:15:11.614769Z","submitted_at":"2026-05-26T14:50:47Z","title":"Automating Formal Verification with Agent-Guided Tree Search","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-29T14:54:59.333847Z"},"links":{"cited_paper":"/paper/2202.01344","citing_paper":"/paper/2605.27485"},"observation_digest":"sha256:cfb8c73ac85b8c2045d1436d773c34c77daf41e98a4ff70b5d74aea5766bdb1d","observation_id":"44d7032e-f383-46ec-84d5-873de7e15187","resolution":{"observed_at":"2026-06-29T15:03:31.322283Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","snapshot_observed_at":"2026-08-18T15:11:03.601000Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning","version":1},"cited_work":{"arxiv_id":"2202.01344","doi":"10.48550/arxiv.2202.01344","metadata_source":"arxiv_reference","pith_arxiv_id":"2202.01344","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv preprint arXiv:2202.01344 , year=","venue":"arXiv (Cornell University)","work_id":"899fcf0d-69ed-435b-b3a5-0c32024bb4f5","year":2025},"citing_paper":{"arxiv_id":"2605.29955","last_updated":"2026-05-28T14:00:22Z","snapshot_observed_at":"2026-08-14T02:24:14.986926Z","submitted_at":"2026-05-28T14:00:22Z","title":"Formalizing Mathematics at Scale","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-06-29T07:35:06.858835Z"},"links":{"cited_paper":"/paper/2202.01344","citing_paper":"/paper/2605.29955"},"observation_digest":"sha256:5d7df8ea939f859bd433067231fb348c4c7d7de5171df46cb83194df3fc54c2c","observation_id":"f62a01b8-403f-415c-a7f6-b2ee1437bbc8","resolution":{"observed_at":"2026-06-29T07:43:14.302370Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","snapshot_observed_at":"2026-08-18T15:11:03.601000Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning","version":1},"cited_work":{"arxiv_id":"2202.01344","doi":"10.48550/arxiv.2202.01344","metadata_source":"arxiv_reference","pith_arxiv_id":"2202.01344","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv preprint arXiv:2202.01344 , year=","venue":"arXiv (Cornell University)","work_id":"899fcf0d-69ed-435b-b3a5-0c32024bb4f5","year":2025},"citing_paper":{"arxiv_id":"2605.30914","last_updated":"2026-05-29T06:59:28Z","snapshot_observed_at":"2026-08-14T18:21:58.376831Z","submitted_at":"2026-05-29T06:59:28Z","title":"Automating Formal Verification with Reinforcement Learning and Recursive Inference","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-06-28T23:52:36.891080Z"},"links":{"cited_paper":"/paper/2202.01344","citing_paper":"/paper/2605.30914"},"observation_digest":"sha256:21a548167017f3c12d8a11d81b8a0b8fe83aa9c5a79e6ebaf97dc83366d13ee5","observation_id":"533b44da-4386-4a90-a640-d75e8b9e0c17","resolution":{"observed_at":"2026-06-28T23:52:49.215627Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","snapshot_observed_at":"2026-08-18T15:11:03.601000Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning","version":1},"cited_work":{"arxiv_id":"2202.01344","doi":"10.48550/arxiv.2202.01344","metadata_source":"arxiv_reference","pith_arxiv_id":"2202.01344","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv preprint arXiv:2202.01344 , year=","venue":"arXiv (Cornell University)","work_id":"899fcf0d-69ed-435b-b3a5-0c32024bb4f5","year":2025},"citing_paper":{"arxiv_id":"2606.19315","last_updated":"2026-06-17T17:38:32Z","snapshot_observed_at":"2026-08-17T23:42:46.185764Z","submitted_at":"2026-06-17T17:38:32Z","title":"Diffusion-Proof: Recipe for Formal Theorem Proving Beyond Auto-Regressive Generation","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-26T20:49:03.111639Z"},"links":{"cited_paper":"/paper/2202.01344","citing_paper":"/paper/2606.19315"},"observation_digest":"sha256:7903d7f69b862663eb8a1605dc7ce744964918e2e9a09370066cfb80745b2344","observation_id":"638ad233-86e2-4795-8a53-73385103d28d","resolution":{"observed_at":"2026-07-04T00:59:20.200144Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","snapshot_observed_at":"2026-08-18T15:11:03.601000Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning","version":1},"cited_work":{"arxiv_id":"2202.01344","doi":"10.48550/arxiv.2202.01344","metadata_source":"arxiv_reference","pith_arxiv_id":"2202.01344","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv preprint arXiv:2202.01344 , year=","venue":"arXiv (Cornell University)","work_id":"899fcf0d-69ed-435b-b3a5-0c32024bb4f5","year":2025},"citing_paper":{"arxiv_id":"2606.28572","last_updated":"2026-06-26T19:57:00Z","snapshot_observed_at":"2026-08-16T11:54:04.133981Z","submitted_at":"2026-06-26T19:57:00Z","title":"Geometric Measurements of the Axiom of Choice in Neural Proof Embeddings","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-30T00:45:57.309775Z"},"links":{"cited_paper":"/paper/2202.01344","citing_paper":"/paper/2606.28572"},"observation_digest":"sha256:ef968658b959ae809c5b9cec95f7218b797a12cace571a36856c7467f06411bb","observation_id":"f43d16f2-b348-45e1-9b88-60e90186ab32","resolution":{"observed_at":"2026-07-01T16:15:49.841684Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","snapshot_observed_at":"2026-08-18T15:11:03.601000Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning","version":1},"cited_work":{"arxiv_id":"2202.01344","doi":"10.48550/arxiv.2202.01344","metadata_source":"arxiv_reference","pith_arxiv_id":"2202.01344","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv preprint arXiv:2202.01344 , year=","venue":"arXiv (Cornell University)","work_id":"899fcf0d-69ed-435b-b3a5-0c32024bb4f5","year":2025},"citing_paper":{"arxiv_id":"2606.28841","last_updated":"2026-06-27T09:58:09Z","snapshot_observed_at":"2026-08-02T19:18:42.790580Z","submitted_at":"2026-06-27T09:58:09Z","title":"LAMP: Lean-based Agentic framework with MCP and Proof Repair","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-06-30T08:35:40.617232Z"},"links":{"cited_paper":"/paper/2202.01344","citing_paper":"/paper/2606.28841"},"observation_digest":"sha256:062da5f00ea30b0ff4251c0360c39520f70bdfeaa6b49bb2a37badfdb31269fe","observation_id":"496ba8c1-a475-4828-a2b1-dc8e94fda6a0","resolution":{"observed_at":"2026-06-30T08:44:27.794282Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2202.01344/citation-record","integrity":"/paper/2202.01344/integrity","json":"/paper/2202.01344/citation-record.json","paper":"/paper/2202.01344"},"outbound":[],"paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-18T15:11:03.601000Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning"},"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-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 29 inbound Pith citation observations for arXiv:2202.01344."}