{"as_of":"2026-08-20T21:26:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:6a678409f265befd7801909c9a42ba2f0af8aeafcb5b93722c5b8a2362a8cf2e","coverage":[{"denominator":31,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":31,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T10:53:18.420455Z","state":"measured"},{"denominator":32,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":32,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T04:09:10.288287Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-07T04:09:15.768031Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2411.18872","last_updated":"2025-03-03T02:41:10Z","snapshot_observed_at":"2026-08-19T10:55:28.992730Z","submitted_at":"2024-11-28T02:50:42Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","version":2},"cited_work":{"arxiv_id":"2411.18872","doi":null,"metadata_source":"pith","pith_arxiv_id":"2411.18872","snapshot_observed_at":"2026-08-07T04:09:15.768031Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","venue":"cs.LG","work_id":"3c862da0-8ea9-45de-b52d-03b28aff9910","year":2024},"citing_paper":{"arxiv_id":"2506.11487","last_updated":"2025-06-13T06:25:59Z","snapshot_observed_at":"2026-08-17T00:21:27.027558Z","submitted_at":"2025-06-13T06:25:59Z","title":"Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T04:09:10.288287Z"},"links":{"cited_paper":"/paper/2411.18872","citing_paper":"/paper/2506.11487"},"observation_digest":"sha256:7052ddd3852fe92a0ee7ae0c6f3632b257931d4fe702ad3d2e1e5213658abefd","observation_id":"606736ca-dfc0-497c-a0dc-2e69074f3514","resolution":{"observed_at":"2026-08-07T04:09:15.846316Z","resolver_source":"local_arxiv","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/2411.18872/citation-record","integrity":"/paper/2411.18872/integrity","json":"/paper/2411.18872/citation-record.json","paper":"/paper/2411.18872"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2303.12712","last_updated":"2023-04-13T20:41:31Z","snapshot_observed_at":"2026-08-18T22:17:47.865607Z","submitted_at":"2023-03-22T16:51:28Z","title":"Sparks of Artificial General Intelligence: Early experiments with GPT-4","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.12712","snapshot_observed_at":"2026-08-12T10:53:18.258176Z","title":"Sparks of artificial general intelligence: Early experiments with GPT-4","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.18872","last_updated":"2025-03-03T02:41:10Z","snapshot_observed_at":"2026-08-19T10:55:28.992730Z","submitted_at":"2024-11-28T02:50:42Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","version":2},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-12T10:53:18.258176Z"},"links":{"cited_paper":"/paper/2303.12712","citing_paper":"/paper/2411.18872"},"observation_digest":"sha256:cee073f955430b3e85db6ec4924df06126fc64867641fbf22966bb49369634a2","observation_id":"7a82a1d1-47a8-4b58-ba7d-c9741bc9bdbb","resolution":{"observed_at":"2026-08-12T10:53:18.258176Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:53:18.264627Z","title":"Mathematical reasoning and the computer","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.18872","last_updated":"2025-03-03T02:41:10Z","snapshot_observed_at":"2026-08-19T10:55:28.992730Z","submitted_at":"2024-11-28T02:50:42Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","version":2},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-12T10:53:18.264627Z"},"links":{"citing_paper":"/paper/2411.18872"},"observation_digest":"sha256:7a41282b337d5609436bf20206bb21933c68fcd52b42258922909fe7b7fe2251","observation_id":"57e071cd-a5b4-412e-90d4-f3308aa8c7c3","resolution":{"observed_at":"2026-08-12T10:53:18.264627Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:53:18.886860Z","title":"A Lean proof of Fermat’s Last Theorem","venue":null,"work_id":"f78961c1-2c1e-4a0f-8231-d4be9375effd","year":2024},"citing_paper":{"arxiv_id":"2411.18872","last_updated":"2025-03-03T02:41:10Z","snapshot_observed_at":"2026-08-19T10:55:28.992730Z","submitted_at":"2024-11-28T02:50:42Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","version":2},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-12T10:53:18.269653Z"},"links":{"citing_paper":"/paper/2411.18872"},"observation_digest":"sha256:a56472ebb66fabaf4e298b4744bd50a6dad2274e43c3375a645505a50ea5f891","observation_id":"4faa0cc4-36ff-44a4-ac46-959c8e4d8f6e","resolution":{"observed_at":"2026-08-12T10:53:18.892299Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:53:18.868943Z","title":"Cedar: A new language for expressive, fast, safe, and analyzable authorization","venue":null,"work_id":"ef2bada9-148f-4e93-96f1-15609c8164b0","year":2024},"citing_paper":{"arxiv_id":"2411.18872","last_updated":"2025-03-03T02:41:10Z","snapshot_observed_at":"2026-08-19T10:55:28.992730Z","submitted_at":"2024-11-28T02:50:42Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","version":2},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-12T10:53:18.275372Z"},"links":{"citing_paper":"/paper/2411.18872"},"observation_digest":"sha256:8145991b58b6adaf7bc3fa2eeff378525608449036c3ebc233c4fdc08f0f7476","observation_id":"349720eb-e18d-438a-b98e-db2ec6660fde","resolution":{"observed_at":"2026-08-12T10:53:18.874822Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:53:18.849181Z","title":"The Lean theorem prover (system description)","venue":null,"work_id":"0926dd63-a12a-43b6-b974-0194fdce1ed8","year":2015},"citing_paper":{"arxiv_id":"2411.18872","last_updated":"2025-03-03T02:41:10Z","snapshot_observed_at":"2026-08-19T10:55:28.992730Z","submitted_at":"2024-11-28T02:50:42Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","version":2},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-12T10:53:18.280694Z"},"links":{"citing_paper":"/paper/2411.18872"},"observation_digest":"sha256:a301ad9c6fdd59db3f328cee684c24e7faee867194d89dbaf6b6c7bb6159950a","observation_id":"539f2ab4-1142-4f7b-bd83-cd9997e7c537","resolution":{"observed_at":"2026-08-12T10:53:18.857170Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:53:18.832640Z","title":"ImageNet : A large-scale hierarchical image database","venue":null,"work_id":"f1f50fc5-b783-437d-a9a9-b1a16b9c71e0","year":2009},"citing_paper":{"arxiv_id":"2411.18872","last_updated":"2025-03-03T02:41:10Z","snapshot_observed_at":"2026-08-19T10:55:28.992730Z","submitted_at":"2024-11-28T02:50:42Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","version":2},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-12T10:53:18.285752Z"},"links":{"citing_paper":"/paper/2411.18872"},"observation_digest":"sha256:330af27a9eb91f68b7405668ced8e688c5d38abd01be38300dc37af75c8e2c90","observation_id":"7c56dc51-1629-4c14-ba3f-6422ca830212","resolution":{"observed_at":"2026-08-12T10:53:18.837620Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":"2407.21783","last_updated":"2024-11-23T23:27:33Z","snapshot_observed_at":"2026-08-13T17:20:44.002518Z","submitted_at":"2024-07-31T17:54:27Z","title":"The Llama 3 Herd of Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.21783","snapshot_observed_at":"2026-08-12T10:53:18.291181Z","title":"The Llama 3 herd of models","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.18872","last_updated":"2025-03-03T02:41:10Z","snapshot_observed_at":"2026-08-19T10:55:28.992730Z","submitted_at":"2024-11-28T02:50:42Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","version":2},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-12T10:53:18.291181Z"},"links":{"cited_paper":"/paper/2407.21783","citing_paper":"/paper/2411.18872"},"observation_digest":"sha256:e60b89a9b27ff3273754f67c39868748d9968252801efb7294328c888710d1ca","observation_id":"67ea05b5-8bdb-4e1e-8bc4-ef47676f1ae2","resolution":{"observed_at":"2026-08-12T10:53:18.291181Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:53:18.817280Z","title":"Baldur: Whole-proof generation and repair with large language models","venue":null,"work_id":"022ad5a5-8a71-42a1-985d-0ac951705008","year":2023},"citing_paper":{"arxiv_id":"2411.18872","last_updated":"2025-03-03T02:41:10Z","snapshot_observed_at":"2026-08-19T10:55:28.992730Z","submitted_at":"2024-11-28T02:50:42Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","version":2},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-12T10:53:18.295804Z"},"links":{"citing_paper":"/paper/2411.18872"},"observation_digest":"sha256:6e85bc147bed221412dde2d9a5ea15a38d1a5ca51dbdd3bbeadeedf7c5863938","observation_id":"dedacc33-a187-42ab-979e-5db1ead33cb9","resolution":{"observed_at":"2026-08-12T10:53:18.822523Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:53:18.799764Z","title":"Datasheets for datasets","venue":null,"work_id":"ceb9eaff-af8d-424d-a3b2-161f05947f58","year":2021},"citing_paper":{"arxiv_id":"2411.18872","last_updated":"2025-03-03T02:41:10Z","snapshot_observed_at":"2026-08-19T10:55:28.992730Z","submitted_at":"2024-11-28T02:50:42Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","version":2},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-12T10:53:18.300629Z"},"links":{"citing_paper":"/paper/2411.18872"},"observation_digest":"sha256:788381dd6812ca3299e3075de5ae8031b00aab345d1969d7ca35343fbb645dc6","observation_id":"51b00c61-1f0c-45e6-b533-a0067566fe78","resolution":{"observed_at":"2026-08-12T10:53:18.807281Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:53:18.305311Z","title":"Draft, sketch, and prove: Guiding formal theorem provers with informal proofs","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.18872","last_updated":"2025-03-03T02:41:10Z","snapshot_observed_at":"2026-08-19T10:55:28.992730Z","submitted_at":"2024-11-28T02:50:42Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","version":2},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-12T10:53:18.305311Z"},"links":{"citing_paper":"/paper/2411.18872"},"observation_digest":"sha256:fadcf9d25c8add53d042cf2d81e048ad23614bfca0eeae52922ceeadc1c76da2","observation_id":"7b78417b-7121-4694-9516-df2e20ff7e33","resolution":{"observed_at":"2026-08-12T10:53:18.305311Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:53:18.310175Z","title":"Large language models are zero-shot reasoners","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.18872","last_updated":"2025-03-03T02:41:10Z","snapshot_observed_at":"2026-08-19T10:55:28.992730Z","submitted_at":"2024-11-28T02:50:42Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","version":2},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-12T10:53:18.310175Z"},"links":{"citing_paper":"/paper/2411.18872"},"observation_digest":"sha256:5d3cee8c612f0d87799b5c2bb14e0475c3065de071d6c66916d87c059eb4f393","observation_id":"e004503b-0cb9-41f8-b5c1-8a67f7243fbe","resolution":{"observed_at":"2026-08-12T10:53:18.310175Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:53:18.315239Z","title":"Hypertree proof search for neural theorem proving","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.18872","last_updated":"2025-03-03T02:41:10Z","snapshot_observed_at":"2026-08-19T10:55:28.992730Z","submitted_at":"2024-11-28T02:50:42Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","version":2},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-12T10:53:18.315239Z"},"links":{"citing_paper":"/paper/2411.18872"},"observation_digest":"sha256:ce34b79546c02a4c46a44f7aa6c4e85b03d14b46135ee50555ce6f2d372724ab","observation_id":"c1c22529-3933-40e1-a6c2-c0a19d477e75","resolution":{"observed_at":"2026-08-12T10:53:18.315239Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:53:18.320405Z","title":"Let's verify step by step","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.18872","last_updated":"2025-03-03T02:41:10Z","snapshot_observed_at":"2026-08-19T10:55:28.992730Z","submitted_at":"2024-11-28T02:50:42Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","version":2},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-12T10:53:18.320405Z"},"links":{"citing_paper":"/paper/2411.18872"},"observation_digest":"sha256:9a67a5c4ab321cd1b81bf763281cc6aeea1bfe5619be580ee49f92bc5b4f6b64","observation_id":"e3a755f6-6165-4fef-ad73-02aae5b74e2d","resolution":{"observed_at":"2026-08-12T10:53:18.320405Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_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},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-12T10:53:18.328757Z","title":"Goedel-Prover : A frontier model for open-source automated theorem proving","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2411.18872","last_updated":"2025-03-03T02:41:10Z","snapshot_observed_at":"2026-08-19T10:55:28.992730Z","submitted_at":"2024-11-28T02:50:42Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","version":2},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-12T10:53:18.328757Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2411.18872"},"observation_digest":"sha256:8f4c8f7a6cd099a804de91d54d1ec0b3e72aafcd90d7351653521f145bc9da4c","observation_id":"ecef6842-5613-44da-b030-c081b83da70b","resolution":{"observed_at":"2026-08-12T10:53:18.328757Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:53:18.736645Z","title":"OpenAI o3-mini, January 2025","venue":null,"work_id":"5d021971-b403-4665-8b20-ca7e55874f40","year":2025},"citing_paper":{"arxiv_id":"2411.18872","last_updated":"2025-03-03T02:41:10Z","snapshot_observed_at":"2026-08-19T10:55:28.992730Z","submitted_at":"2024-11-28T02:50:42Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","version":2},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-12T10:53:18.334866Z"},"links":{"citing_paper":"/paper/2411.18872"},"observation_digest":"sha256:fc2387c00f99de111ca9e1a02d2ec7c64c1c0ee6fd032ff154b53d3f97f8d95a","observation_id":"1ef3ba38-bc41-4d58-98f3-3bbb637d277c","resolution":{"observed_at":"2026-08-12T10:53:18.742078Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:53:18.340944Z","title":"Kasparov and Deep Blue: The historic chess match between man and machine","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2411.18872","last_updated":"2025-03-03T02:41:10Z","snapshot_observed_at":"2026-08-19T10:55:28.992730Z","submitted_at":"2024-11-28T02:50:42Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","version":2},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-12T10:53:18.340944Z"},"links":{"citing_paper":"/paper/2411.18872"},"observation_digest":"sha256:979a9f491dcc328ce882d0ab8278788143af403bd968dd3489b0f6df5e00c5fb","observation_id":"cca96c98-92f3-4380-8274-48402c5d9a10","resolution":{"observed_at":"2026-08-12T10:53:18.340944Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:53:18.709690Z","title":"OpenWebMath : An open dataset of high-quality mathematical web text","venue":null,"work_id":"e1a2433e-2c60-4986-bb89-665d8882d4a7","year":2023},"citing_paper":{"arxiv_id":"2411.18872","last_updated":"2025-03-03T02:41:10Z","snapshot_observed_at":"2026-08-19T10:55:28.992730Z","submitted_at":"2024-11-28T02:50:42Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","version":2},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-12T10:53:18.347081Z"},"links":{"citing_paper":"/paper/2411.18872"},"observation_digest":"sha256:cb2dbff1146fc705d75f230ae5466e15bb8e9adc980175044ed546e73fee1a49","observation_id":"53d712a7-1641-4b73-9839-6d9ccbbc23af","resolution":{"observed_at":"2026-08-12T10:53:18.715247Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:53:18.692305Z","title":"Formal mathematics statement curriculum learning","venue":null,"work_id":"098defc5-dc79-40f1-9ae0-81f2dd22ce40","year":2022},"citing_paper":{"arxiv_id":"2411.18872","last_updated":"2025-03-03T02:41:10Z","snapshot_observed_at":"2026-08-19T10:55:28.992730Z","submitted_at":"2024-11-28T02:50:42Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","version":2},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-12T10:53:18.352109Z"},"links":{"citing_paper":"/paper/2411.18872"},"observation_digest":"sha256:dcd6806d0879f2de77cab15338210f045f98f86cbc0d600b154121ecc795f3db","observation_id":"da6c0abb-f8fb-4a49-96d3-deac36f5ffa9","resolution":{"observed_at":"2026-08-12T10:53:18.698141Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:53:18.356850Z","title":"Do ImageNet classifiers generalize to ImageNet ? In International Conference on Machine Learning, pp.\\ 5389--5400, 2019","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.18872","last_updated":"2025-03-03T02:41:10Z","snapshot_observed_at":"2026-08-19T10:55:28.992730Z","submitted_at":"2024-11-28T02:50:42Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","version":2},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-12T10:53:18.356850Z"},"links":{"citing_paper":"/paper/2411.18872"},"observation_digest":"sha256:7f59ba60c6dc8a7a6ff37a4a2729064969341f52a418d1dd05a6f7dfeb20b907","observation_id":"998a2d2b-aea3-414e-b729-b96c4d9d866b","resolution":{"observed_at":"2026-08-12T10:53:18.356850Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:53:18.363979Z","title":"Mathematical discoveries from program search with large language models","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.18872","last_updated":"2025-03-03T02:41:10Z","snapshot_observed_at":"2026-08-19T10:55:28.992730Z","submitted_at":"2024-11-28T02:50:42Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","version":2},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-12T10:53:18.363979Z"},"links":{"citing_paper":"/paper/2411.18872"},"observation_digest":"sha256:b66289a061004afb89de89b861c14649654eb7e47a2f16ead61b9fb4774c8bf9","observation_id":"716f8e8c-4d7a-4b5f-bf90-833ce574c5e6","resolution":{"observed_at":"2026-08-12T10:53:18.363979Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:53:18.368977Z","title":"Mastering the game of Go without human knowledge","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.18872","last_updated":"2025-03-03T02:41:10Z","snapshot_observed_at":"2026-08-19T10:55:28.992730Z","submitted_at":"2024-11-28T02:50:42Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","version":2},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-12T10:53:18.368977Z"},"links":{"citing_paper":"/paper/2411.18872"},"observation_digest":"sha256:34178e04327b706a3e0c093aef00792142427a7631481b3cb9def334dbef7184","observation_id":"74220194-3875-4d0c-ba7b-18e5acf807fe","resolution":{"observed_at":"2026-08-12T10:53:18.368977Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.12534","last_updated":"2025-05-11T09:58:48Z","snapshot_observed_at":"2026-08-19T12:25:54.251270Z","submitted_at":"2024-04-18T22:54:08Z","title":"Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.12534","snapshot_observed_at":"2026-08-12T10:53:18.376316Z","title":"Towards large language models as copilots for theorem proving in Lean","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.18872","last_updated":"2025-03-03T02:41:10Z","snapshot_observed_at":"2026-08-19T10:55:28.992730Z","submitted_at":"2024-11-28T02:50:42Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","version":2},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-12T10:53:18.376316Z"},"links":{"cited_paper":"/paper/2404.12534","citing_paper":"/paper/2411.18872"},"observation_digest":"sha256:9ff29685d78d3fc3c94011b0c34fd9670b464113b92e91ddc7e9879a4e224d9e","observation_id":"2bc9c6bb-c102-4ac8-a3eb-b683960445bd","resolution":{"observed_at":"2026-08-12T10:53:18.376316Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:53:18.381658Z","title":"Solving Olympiad geometry without human demonstrations","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.18872","last_updated":"2025-03-03T02:41:10Z","snapshot_observed_at":"2026-08-19T10:55:28.992730Z","submitted_at":"2024-11-28T02:50:42Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","version":2},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-12T10:53:18.381658Z"},"links":{"citing_paper":"/paper/2411.18872"},"observation_digest":"sha256:22f43a47dc35ac9752e5bec63167bcc03e6082277274bd6140115d87485e197d","observation_id":"9d131788-5d1c-4b14-a2d5-d9901523f714","resolution":{"observed_at":"2026-08-12T10:53:18.381658Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:53:18.386391Z","title":"LEGO-Prover : Neural theorem proving with growing libraries","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.18872","last_updated":"2025-03-03T02:41:10Z","snapshot_observed_at":"2026-08-19T10:55:28.992730Z","submitted_at":"2024-11-28T02:50:42Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","version":2},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-12T10:53:18.386391Z"},"links":{"citing_paper":"/paper/2411.18872"},"observation_digest":"sha256:c88162707c9e6176160860196f0455c1b13f524e94657d5dd164507e77416c07","observation_id":"ef54e0be-5a06-4da6-b552-e8dd5bb22b47","resolution":{"observed_at":"2026-08-12T10:53:18.386391Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.14333","last_updated":"2024-05-23T09:03:42Z","snapshot_observed_at":"2026-08-16T13:50:18.721796Z","submitted_at":"2024-05-23T09:03:42Z","title":"DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.14333","snapshot_observed_at":"2026-08-12T10:53:18.391148Z","title":"DeepSeek-Prover : Advancing theorem proving in LLMs through large-scale synthetic data","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.18872","last_updated":"2025-03-03T02:41:10Z","snapshot_observed_at":"2026-08-19T10:55:28.992730Z","submitted_at":"2024-11-28T02:50:42Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","version":2},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-12T10:53:18.391148Z"},"links":{"cited_paper":"/paper/2405.14333","citing_paper":"/paper/2411.18872"},"observation_digest":"sha256:33f5edc6d1a53a2cf3dbb2e9aa5095123e1fb7ba8637b1bac51d712b1b9162e7","observation_id":"09faec12-4bb3-4e8e-b09b-6632cf6e693f","resolution":{"observed_at":"2026-08-12T10:53:18.391148Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-08-20T13:55:12.013069Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-12T10:53:18.396109Z","title":"Deepseek-prover-v1.5: Harnessing proof assistant feedback for reinforcement learning and monte-carlo tree search","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.18872","last_updated":"2025-03-03T02:41:10Z","snapshot_observed_at":"2026-08-19T10:55:28.992730Z","submitted_at":"2024-11-28T02:50:42Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","version":2},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-12T10:53:18.396109Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2411.18872"},"observation_digest":"sha256:0b7a786e474a431f704f824f7937bec86f25092f0e7a7729f2751345d9d99f48","observation_id":"dba36800-f15c-4513-b4b8-c1c47c3b0ced","resolution":{"observed_at":"2026-08-12T10:53:18.396109Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.12122","last_updated":"2024-09-18T16:45:37Z","snapshot_observed_at":"2026-08-20T14:18:10.920944Z","submitted_at":"2024-09-18T16:45:37Z","title":"Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-Improvement","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.12122","snapshot_observed_at":"2026-08-12T10:53:18.401113Z","title":"Qwen2.5-math technical report: Toward mathematical expert model via self-improvement","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.18872","last_updated":"2025-03-03T02:41:10Z","snapshot_observed_at":"2026-08-19T10:55:28.992730Z","submitted_at":"2024-11-28T02:50:42Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","version":2},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-12T10:53:18.401113Z"},"links":{"cited_paper":"/paper/2409.12122","citing_paper":"/paper/2411.18872"},"observation_digest":"sha256:d1c39eda5cfaf03dc6e9e231023035de0be807903928c03c2c17688de9abd7ce","observation_id":"a3018a49-13c4-4ae4-95a3-8a1366fcbdb8","resolution":{"observed_at":"2026-08-12T10:53:18.401113Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:53:18.406576Z","title":"LeanDojo : Theorem proving with retrieval-augmented language models","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.18872","last_updated":"2025-03-03T02:41:10Z","snapshot_observed_at":"2026-08-19T10:55:28.992730Z","submitted_at":"2024-11-28T02:50:42Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","version":2},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-12T10:53:18.406576Z"},"links":{"citing_paper":"/paper/2411.18872"},"observation_digest":"sha256:fa8ffcf3b1932ab4602cb5ffa57163b9c67188307604e822a4580785fc0dc084","observation_id":"4e6a1c70-1142-4a2f-b0fa-eec9a16fae79","resolution":{"observed_at":"2026-08-12T10:53:18.406576Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:53:18.601203Z","title":"Skill-Mix : a flexible and expandable family of evaluations for ai models","venue":null,"work_id":"5f3a2d17-99cd-4688-9f85-58ec2dfdc21f","year":2023},"citing_paper":{"arxiv_id":"2411.18872","last_updated":"2025-03-03T02:41:10Z","snapshot_observed_at":"2026-08-19T10:55:28.992730Z","submitted_at":"2024-11-28T02:50:42Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","version":2},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-12T10:53:18.411096Z"},"links":{"citing_paper":"/paper/2411.18872"},"observation_digest":"sha256:40e99d63421df937b0baef62cc35b644d4d0dfa56893c7592d0e337fa98c3ad7","observation_id":"9e16b559-26a4-42e1-9ac7-6ded3a819b0f","resolution":{"observed_at":"2026-08-12T10:53:18.608349Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:53:18.415570Z","title":"miniF2F : A cross-system benchmark for formal Olympiad-level mathematics","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.18872","last_updated":"2025-03-03T02:41:10Z","snapshot_observed_at":"2026-08-19T10:55:28.992730Z","submitted_at":"2024-11-28T02:50:42Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","version":2},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-12T10:53:18.415570Z"},"links":{"citing_paper":"/paper/2411.18872"},"observation_digest":"sha256:20c5e98c752df6760fc30183965ab7c92d03558e3973cab0882bb8aa0dc60d0c","observation_id":"567bd566-bb84-4f0e-98f6-104601e84154","resolution":{"observed_at":"2026-08-12T10:53:18.415570Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:53:18.420455Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.18872","last_updated":"2025-03-03T02:41:10Z","snapshot_observed_at":"2026-08-19T10:55:28.992730Z","submitted_at":"2024-11-28T02:50:42Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","version":2},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-12T10:53:18.420455Z"},"links":{"citing_paper":"/paper/2411.18872"},"observation_digest":"sha256:4961a30052bb97c87ae6c063cee517e34acca9f2e5ef63ebd93eedd77c74dd66","observation_id":"cd20a51b-fa88-4462-8af8-7796bdc00bfb","resolution":{"observed_at":"2026-08-12T10:53:18.420455Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2411.18872","last_updated":"2025-03-03T02:41:10Z","latest_version":2,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-19T10:55:28.992730Z","submitted_at":"2024-11-28T02:50:42Z","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems"},"reference_resolution":{"displayed":31,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":21,"verified_exact":0,"verified_fuzzy":10},"total_outbound_references":31},"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 31 of 31 outbound references and 1 inbound Pith citation observation for arXiv:2411.18872."}