{"as_of":"2026-08-05T15:55:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4ca4cb04cc4ccdc6f5b0b0833fd55476d2649cf0c11796c9f0cbc561ce1a8ad5","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":37,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":37,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-05T06:32:48.257954+00:00","state":"measured"},{"denominator":37,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":37,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T02:43:35.409770Z","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":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2502.07640","doi":"10.48550/arxiv.2502.07640","metadata_source":"pith","pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving","venue":"cs.LG","work_id":"d493c962-6f13-4605-9836-61b0d15ca1d6","year":2025},"citing_paper":{"arxiv_id":"2509.17677","last_updated":"2026-05-02T16:35:12Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-09-22T12:20:27Z","title":"EngiBench: A Benchmark for Evaluating Large Language Models on Engineering Problem Solving","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-18T15:08:03.793304Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2509.17677"},"observation_digest":"sha256:764b9f1248cc2b51a0866fcb8d73a981ecfcd65a23bc9f19de142b6ca786b669","observation_id":"6f090854-6f75-418e-aef0-dd1990a8170a","resolution":{"observed_at":"2026-05-18T15:11:32.583700Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2502.07640","doi":"10.48550/arxiv.2502.07640","metadata_source":"pith","pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving","venue":"cs.LG","work_id":"d493c962-6f13-4605-9836-61b0d15ca1d6","year":2025},"citing_paper":{"arxiv_id":"2510.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":26,"source":"pdf_text","source_observed_at":"2026-05-15T08:51:37.827144Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2510.01346"},"observation_digest":"sha256:7eb39d925ce1011d2f75d61fd354727d30076d095e1071111d8e7ea5b7582482","observation_id":"e8463c21-9e82-487a-8acc-1b042ac2c6b9","resolution":{"observed_at":"2026-05-15T08:51:38.024236Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2502.07640","doi":"10.48550/arxiv.2502.07640","metadata_source":"pith","pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving","venue":"cs.LG","work_id":"d493c962-6f13-4605-9836-61b0d15ca1d6","year":2025},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:5b7a8635d7e9dcfade2f559fd02012f51d654e5a1fbfbbd76a43ab9860d140a5","observation_id":"af97df18-337a-41eb-a7f2-af095c4bf560","resolution":{"observed_at":"2026-05-25T07:46:42.240726Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2502.07640","doi":"10.48550/arxiv.2502.07640","metadata_source":"pith","pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving","venue":"cs.LG","work_id":"d493c962-6f13-4605-9836-61b0d15ca1d6","year":2025},"citing_paper":{"arxiv_id":"2601.13209","last_updated":"2026-05-02T15:26:09Z","snapshot_observed_at":"2026-07-06T22:42:08.271837Z","submitted_at":"2026-01-19T16:38:18Z","title":"AI for Mathematics: Progress, Challenges, and Prospects","version":5},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-05-16T13:24:57.923863Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2601.13209"},"observation_digest":"sha256:3d06c7d5d976399f8a288ebe35f9ddd30a0d393fcf3450fb7ea02af534fa150e","observation_id":"2e842920-384b-4465-8134-151807c3e6bc","resolution":{"observed_at":"2026-05-16T13:27:55.631650Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","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-03T02:43:35.409770Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving.arXiv preprint arXiv:2502.07640, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.10014","last_updated":"2026-05-31T19:13:22Z","snapshot_observed_at":"2026-08-03T02:43:30.604746Z","submitted_at":"2026-02-10T17:36:41Z","title":"A Task-Centric Theory for Iterative Self-Improvement with Easy-to-Hard Curricula","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-03T02:43:35.409770Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2602.10014"},"observation_digest":"sha256:dfe2fc24e1776c51d12f25026c157cba7e08408c619477b81a44f74075ace7c3","observation_id":"17243480-9c70-49c8-a8c3-274f04788f60","resolution":{"observed_at":"2026-08-03T02:43:35.409770Z","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-07-06T20:34:48.850154Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2502.07640","doi":"10.48550/arxiv.2502.07640","metadata_source":"pith","pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving","venue":"cs.LG","work_id":"d493c962-6f13-4605-9836-61b0d15ca1d6","year":2025},"citing_paper":{"arxiv_id":"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":34,"source":"pdf_text","source_observed_at":"2026-05-15T18:44:35.600033Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2602.24273"},"observation_digest":"sha256:a31fecf7a4a9ec491dbe124d6b555af95f5e9ead7147508734bacb74fede3168","observation_id":"7a2e9a6a-4577-4ac6-bfb9-eb65c2a7f8cb","resolution":{"observed_at":"2026-05-15T18:46:29.406284Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2502.07640","doi":"10.48550/arxiv.2502.07640","metadata_source":"pith","pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving","venue":"cs.LG","work_id":"d493c962-6f13-4605-9836-61b0d15ca1d6","year":2025},"citing_paper":{"arxiv_id":"2604.13515","last_updated":"2026-04-15T06:00:25Z","snapshot_observed_at":"2026-08-02T05:07:14.262340Z","submitted_at":"2026-04-15T06:00:25Z","title":"SFT-GRPO Data Overlap as a Post-Training Hyperparameter for Autoformalization","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-05-10T13:21:52.225115Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2604.13515"},"observation_digest":"sha256:ab6f9d0831b6efe9f3b857223acd532342555fc34c1af846868dac8b56fac587","observation_id":"f05812d6-a2bc-4e1f-88a7-f1d4a79ab8ca","resolution":{"observed_at":"2026-05-10T13:25:26.396582Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2502.07640","doi":"10.48550/arxiv.2502.07640","metadata_source":"pith","pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving","venue":"cs.LG","work_id":"d493c962-6f13-4605-9836-61b0d15ca1d6","year":2025},"citing_paper":{"arxiv_id":"2604.16347","last_updated":"2026-03-16T14:19:33Z","snapshot_observed_at":"2026-07-06T23:03:43.854612Z","submitted_at":"2026-03-16T14:19:33Z","title":"Lean Atlas: An Integrated Proof Environment for Scalable Human-AI Collaborative Formalization","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-15T10:24:19.295736Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2604.16347"},"observation_digest":"sha256:3b2dbdb4c20bac7702625b84e8f80ac35a69df3f662e4e7c6609dcbb714d0587","observation_id":"298d031c-66ab-4a69-a010-a54232cb9c1a","resolution":{"observed_at":"2026-05-15T10:25:26.564347Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2502.07640","doi":"10.48550/arxiv.2502.07640","metadata_source":"pith","pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving","venue":"cs.LG","work_id":"d493c962-6f13-4605-9836-61b0d15ca1d6","year":2025},"citing_paper":{"arxiv_id":"2604.20209","last_updated":"2026-04-22T05:50:23Z","snapshot_observed_at":"2026-07-06T23:06:40.154278Z","submitted_at":"2026-04-22T05:50:23Z","title":"Scaling Self-Play with Self-Guidance","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-05-10T01:31:06.090698Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2604.20209"},"observation_digest":"sha256:5f7e60effe47bb6dcd456a90534b3f149b64b73fb481d82f35d1d4186062d650","observation_id":"cbe2f746-5a5e-4661-be61-7ac06cc997b4","resolution":{"observed_at":"2026-05-11T13:31:05.680188Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2502.07640","doi":"10.48550/arxiv.2502.07640","metadata_source":"pith","pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving","venue":"cs.LG","work_id":"d493c962-6f13-4605-9836-61b0d15ca1d6","year":2025},"citing_paper":{"arxiv_id":"2604.25155","last_updated":"2026-04-28T02:57:20Z","snapshot_observed_at":"2026-08-04T04:22:10.934988Z","submitted_at":"2026-04-28T02:57:20Z","title":"Rethinking Wireless Communications through Formal Mathematical AI Reasoning","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-05-07T15:42:24.167986Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2604.25155"},"observation_digest":"sha256:fee275a45b2a939edc5491cab1c4a37bb8601d3b9ab854b6fcf9e867149bf444","observation_id":"e206e26c-6220-475c-9c43-81ee2af715bb","resolution":{"observed_at":"2026-05-12T00:11:16.601325Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2502.07640","doi":"10.48550/arxiv.2502.07640","metadata_source":"pith","pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving","venue":"cs.LG","work_id":"d493c962-6f13-4605-9836-61b0d15ca1d6","year":2025},"citing_paper":{"arxiv_id":"2605.08678","last_updated":"2026-07-06T13:36:13Z","snapshot_observed_at":"2026-07-31T14:41:52.251938Z","submitted_at":"2026-05-09T04:29:46Z","title":"MLS-Bench: A Holistic and Rigorous Assessment of AI Systems on Building Better AI","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-05-12T01:13:35.990078Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2605.08678"},"observation_digest":"sha256:9f3b32e54b64da405e42e3a24b447401929fb214336b07601f1b8b61c822141a","observation_id":"9b128eea-7bb0-432b-a7d9-5c7b172e566a","resolution":{"observed_at":"2026-05-12T08:21:25.152351Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2502.07640","doi":"10.48550/arxiv.2502.07640","metadata_source":"pith","pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving","venue":"cs.LG","work_id":"d493c962-6f13-4605-9836-61b0d15ca1d6","year":2025},"citing_paper":{"arxiv_id":"2605.08678","last_updated":"2026-07-06T13:36:13Z","snapshot_observed_at":"2026-07-31T14:41:52.251938Z","submitted_at":"2026-05-09T04:29:46Z","title":"MLS-Bench: A Holistic and Rigorous Assessment of AI Systems on Building Better AI","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-06-30T23:12:57.154537Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2605.08678"},"observation_digest":"sha256:c206f3f332df0631692278450b2f0977d719a240c359683510bed18ada9927a0","observation_id":"2dade832-577f-47d6-a7c5-cab1a89d3089","resolution":{"observed_at":"2026-07-01T13:25:45.974877Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","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-07-12T17:14:49.310598Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving.arXiv preprint arXiv:2502.07640, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2605.08678","last_updated":"2026-07-06T13:36:13Z","snapshot_observed_at":"2026-07-31T14:41:52.251938Z","submitted_at":"2026-05-09T04:29:46Z","title":"MLS-Bench: A Holistic and Rigorous Assessment of AI Systems on Building Better AI","version":3},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-07-12T17:14:49.310598Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2605.08678"},"observation_digest":"sha256:154f3df80cc19aba8b2904ea873d740fb00101ffe4d5a90d17412dfc2bda9230","observation_id":"1e6fa9e9-16ea-4656-b550-3618be2b56b1","resolution":{"observed_at":"2026-07-12T17:14:49.310598Z","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-07-06T20:34:48.850154Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2502.07640","doi":"10.48550/arxiv.2502.07640","metadata_source":"pith","pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving","venue":"cs.LG","work_id":"d493c962-6f13-4605-9836-61b0d15ca1d6","year":2025},"citing_paper":{"arxiv_id":"2605.17283","last_updated":"2026-05-17T06:39:05Z","snapshot_observed_at":"2026-08-02T16:55:37.869194Z","submitted_at":"2026-05-17T06:39:05Z","title":"OProver: A Unified Framework for Agentic Formal Theorem Proving","version":1},"reference_index":152,"source":"arxiv_source","source_observed_at":"2026-05-20T14:43:46.517807Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2605.17283"},"observation_digest":"sha256:08aa40ed606f63ea34c12984a8c9c7fcd28c631ce2f6db0c8fc9a3adb4b7200e","observation_id":"a7100193-2e21-4981-8201-59b1811cd387","resolution":{"observed_at":"2026-05-20T14:48:23.531551Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2502.07640","doi":"10.48550/arxiv.2502.07640","metadata_source":"pith","pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving","venue":"cs.LG","work_id":"d493c962-6f13-4605-9836-61b0d15ca1d6","year":2025},"citing_paper":{"arxiv_id":"2605.20244","last_updated":"2026-08-04T13:49:27Z","snapshot_observed_at":"2026-08-05T15:34:29.319627Z","submitted_at":"2026-05-18T04:19:41Z","title":"Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-21T08:51:59.101930Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2605.20244"},"observation_digest":"sha256:04f71a0f6359a10073ce734fec30cedc249d818da43046c40213b6170fad0a7f","observation_id":"854208f6-e46a-46b5-ae64-24c2d5c46c49","resolution":{"observed_at":"2026-05-21T08:54:05.947604Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2502.07640","doi":"10.48550/arxiv.2502.07640","metadata_source":"pith","pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving","venue":"cs.LG","work_id":"d493c962-6f13-4605-9836-61b0d15ca1d6","year":2025},"citing_paper":{"arxiv_id":"2605.20531","last_updated":"2026-06-17T20:49:55Z","snapshot_observed_at":"2026-08-02T23:01:03.272596Z","submitted_at":"2026-05-19T22:08:51Z","title":"Pseudo-Formalization for Automatic Proof Verification","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-21T06:25:01.098420Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2605.20531"},"observation_digest":"sha256:59195c2ffd7e35caf77fa368a6f7ba3cc4862121653b754e811793fff7cd720f","observation_id":"8e21cc52-6378-41ed-9487-fb0ee19b0c11","resolution":{"observed_at":"2026-05-21T06:29:42.243607Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2502.07640","doi":"10.48550/arxiv.2502.07640","metadata_source":"pith","pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving","venue":"cs.LG","work_id":"d493c962-6f13-4605-9836-61b0d15ca1d6","year":2025},"citing_paper":{"arxiv_id":"2605.20531","last_updated":"2026-06-17T20:49:55Z","snapshot_observed_at":"2026-08-02T23:01:03.272596Z","submitted_at":"2026-05-19T22:08:51Z","title":"Pseudo-Formalization for Automatic Proof Verification","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-30T17:17:48.969969Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2605.20531"},"observation_digest":"sha256:beeea1c7c30d6e72cea8de7dc5e5c520a7517716684d3f2326b5826d107b4943","observation_id":"964db1a5-43f5-423c-ae3d-f6a091f29fe5","resolution":{"observed_at":"2026-06-30T17:24:57.728053Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2502.07640","doi":"10.48550/arxiv.2502.07640","metadata_source":"pith","pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving","venue":"cs.LG","work_id":"d493c962-6f13-4605-9836-61b0d15ca1d6","year":2025},"citing_paper":{"arxiv_id":"2605.29955","last_updated":"2026-05-28T14:00:22Z","snapshot_observed_at":"2026-08-05T14:45:53.065328Z","submitted_at":"2026-05-28T14:00:22Z","title":"Formalizing Mathematics at Scale","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-06-29T07:35:06.858835Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2605.29955"},"observation_digest":"sha256:c17d26b31c8a2ba5462a0a62b163953c30ebe9aa5ee9843e7e4b165fdb4f5ed9","observation_id":"84f08cc4-32a0-4f2b-98e2-37e94349e67d","resolution":{"observed_at":"2026-06-29T07:43:14.305312Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2502.07640","doi":"10.48550/arxiv.2502.07640","metadata_source":"pith","pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving","venue":"cs.LG","work_id":"d493c962-6f13-4605-9836-61b0d15ca1d6","year":2025},"citing_paper":{"arxiv_id":"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":33,"source":"pdf_text","source_observed_at":"2026-06-28T23:52:36.891080Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2605.30914"},"observation_digest":"sha256:a6704b98e0cfeb603fed5db0e5b758bafdb6a2254d59b79e3b2221eb584ca3a1","observation_id":"95f8f2bd-7fdf-4fba-b80c-33444ff9a8cb","resolution":{"observed_at":"2026-06-28T23:52:48.505819Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2502.07640","doi":"10.48550/arxiv.2502.07640","metadata_source":"pith","pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving","venue":"cs.LG","work_id":"d493c962-6f13-4605-9836-61b0d15ca1d6","year":2025},"citing_paper":{"arxiv_id":"2606.04883","last_updated":"2026-06-23T10:56:57Z","snapshot_observed_at":"2026-08-05T15:37:01.185480Z","submitted_at":"2026-06-03T13:46:20Z","title":"Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean","version":3},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-06-28T06:01:44.894830Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2606.04883"},"observation_digest":"sha256:2cb2ed4674334da3de4c2543227eb7e59a598d204762039b34fac4ce2ffbc3dc","observation_id":"042207aa-dfc2-4924-84d5-2770ef9a5b11","resolution":{"observed_at":"2026-06-28T06:11:42.504279Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2502.07640","doi":"10.48550/arxiv.2502.07640","metadata_source":"pith","pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving","venue":"cs.LG","work_id":"d493c962-6f13-4605-9836-61b0d15ca1d6","year":2025},"citing_paper":{"arxiv_id":"2606.06468","last_updated":"2026-06-04T17:54:44Z","snapshot_observed_at":"2026-08-01T01:11:45.256948Z","submitted_at":"2026-06-04T17:54:44Z","title":"Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-28T00:59:54.485343Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2606.06468"},"observation_digest":"sha256:9223f94dc143afc3c112a945e0186ddddc063d1d76e9bd2016f68d45f85533c0","observation_id":"08572a0f-e57f-4f87-a271-09d78cbf525b","resolution":{"observed_at":"2026-07-02T13:46:59.591601Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2502.07640","doi":"10.48550/arxiv.2502.07640","metadata_source":"pith","pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving","venue":"cs.LG","work_id":"d493c962-6f13-4605-9836-61b0d15ca1d6","year":2025},"citing_paper":{"arxiv_id":"2606.08728","last_updated":"2026-07-26T11:27:42Z","snapshot_observed_at":"2026-08-02T12:04:58.846884Z","submitted_at":"2026-06-07T16:50:07Z","title":"Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery","version":1},"reference_index":206,"source":"pdf_text","source_observed_at":"2026-06-27T18:39:44.696961Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2606.08728"},"observation_digest":"sha256:dd979813a33000d54d2746c805f98f880f4bba0816a5a3e8cec98c41dda5bc86","observation_id":"f01f94e5-c50a-4800-9500-991235342a96","resolution":{"observed_at":"2026-07-02T22:47:25.993924Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","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-02T12:05:18.219029Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.08728","last_updated":"2026-07-26T11:27:42Z","snapshot_observed_at":"2026-08-02T12:04:58.846884Z","submitted_at":"2026-06-07T16:50:07Z","title":"Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery","version":4},"reference_index":208,"source":"pdf_text","source_observed_at":"2026-08-02T12:05:18.219029Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2606.08728"},"observation_digest":"sha256:bc28430b3f2f20f3a6d2b530778a83aed832d5937406f99c905972980f495a21","observation_id":"c92ca767-e3da-42d8-a636-d45daa0801fe","resolution":{"observed_at":"2026-08-02T12:05:18.219029Z","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-07-06T20:34:48.850154Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2502.07640","doi":"10.48550/arxiv.2502.07640","metadata_source":"pith","pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving","venue":"cs.LG","work_id":"d493c962-6f13-4605-9836-61b0d15ca1d6","year":2025},"citing_paper":{"arxiv_id":"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":17,"source":"pdf_text","source_observed_at":"2026-06-27T16:19:11.123994Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2606.09450"},"observation_digest":"sha256:eed757938aa4fe7c5bc1a0a49cf0294d081d2e6dab8cef68142d784397375a44","observation_id":"b54691d5-9cff-453d-9a35-0085d5e0c21a","resolution":{"observed_at":"2026-07-03T01:47:31.597673Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2502.07640","doi":"10.48550/arxiv.2502.07640","metadata_source":"pith","pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving","venue":"cs.LG","work_id":"d493c962-6f13-4605-9836-61b0d15ca1d6","year":2025},"citing_paper":{"arxiv_id":"2606.17581","last_updated":"2026-06-16T06:43:08Z","snapshot_observed_at":"2026-07-06T23:53:07.149182Z","submitted_at":"2026-06-16T06:43:08Z","title":"Visored: A Controlled-Natural-Language Prover for LLM-Generated Mathematics","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-06-26T22:23:42.299674Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2606.17581"},"observation_digest":"sha256:bd7b1f8c88ce31f7817ef8f988e09e163abe1f4ebe50a3bec1452da7904710b7","observation_id":"853a5ac7-3fc6-4264-8a42-34ebad4db897","resolution":{"observed_at":"2026-07-03T23:29:01.966976Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2502.07640","doi":"10.48550/arxiv.2502.07640","metadata_source":"pith","pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving","venue":"cs.LG","work_id":"d493c962-6f13-4605-9836-61b0d15ca1d6","year":2025},"citing_paper":{"arxiv_id":"2606.19315","last_updated":"2026-06-17T17:38:32Z","snapshot_observed_at":"2026-08-01T15:47:01.884138Z","submitted_at":"2026-06-17T17:38:32Z","title":"Diffusion-Proof: Recipe for Formal Theorem Proving Beyond Auto-Regressive Generation","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-26T20:49:03.111639Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2606.19315"},"observation_digest":"sha256:6508206822b3c68901e55f46af5b0846e68922e0516a39eb5dc9350b243fe13f","observation_id":"6a843e85-2c56-426b-b601-7732558234ae","resolution":{"observed_at":"2026-07-04T00:59:20.189168Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2502.07640","doi":"10.48550/arxiv.2502.07640","metadata_source":"pith","pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving","venue":"cs.LG","work_id":"d493c962-6f13-4605-9836-61b0d15ca1d6","year":2025},"citing_paper":{"arxiv_id":"2606.24443","last_updated":"2026-06-23T11:24:49Z","snapshot_observed_at":"2026-07-06T23:59:03.724013Z","submitted_at":"2026-06-23T11:24:49Z","title":"Verifiable Auto-Formalization of Mathematics Using a Relaxed Natural Formal Language","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-25T21:59:02.948726Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2606.24443"},"observation_digest":"sha256:3600b5d16fb61547ce6ce3ab0f779d0fca531e5c6ddd26bf46dd5989f3e7e011","observation_id":"7f5c5cd9-c822-4b87-ab08-6985cd656113","resolution":{"observed_at":"2026-07-04T19:10:04.262650Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2502.07640","doi":"10.48550/arxiv.2502.07640","metadata_source":"pith","pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving","venue":"cs.LG","work_id":"d493c962-6f13-4605-9836-61b0d15ca1d6","year":2025},"citing_paper":{"arxiv_id":"2606.26454","last_updated":"2026-07-18T18:38:00Z","snapshot_observed_at":"2026-08-04T19:39:16.888620Z","submitted_at":"2026-06-24T23:30:08Z","title":"Data-driven Machine Learning Cannot Reach Symbolic-level Logical Reasoning -- The Limit of the Scaling Law","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-06-26T01:14:21.040005Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2606.26454"},"observation_digest":"sha256:9319aba361bf3f34b5262bf6cec79acb56ee415d61165c85c860d067320318da","observation_id":"5f8b4d98-7b22-4b17-b52a-4444f3a08f84","resolution":{"observed_at":"2026-07-04T15:49:58.287108Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","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-02T10:15:35.696081Z","title":"https://arxiv.org/abs/2502.07640","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.26454","last_updated":"2026-07-18T18:38:00Z","snapshot_observed_at":"2026-08-04T19:39:16.888620Z","submitted_at":"2026-06-24T23:30:08Z","title":"Data-driven Machine Learning Cannot Reach Symbolic-level Logical Reasoning -- The Limit of the Scaling Law","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-02T10:15:35.696081Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2606.26454"},"observation_digest":"sha256:faa386d5605beb44e372692dada3ee029aae70557e11d2551a626a6342cfc965","observation_id":"09242bfc-1429-42e7-bd7d-888aff26d4f3","resolution":{"observed_at":"2026-08-02T10:15:35.696081Z","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-07-06T20:34:48.850154Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2502.07640","doi":"10.48550/arxiv.2502.07640","metadata_source":"pith","pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving","venue":"cs.LG","work_id":"d493c962-6f13-4605-9836-61b0d15ca1d6","year":2025},"citing_paper":{"arxiv_id":"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":21,"source":"pdf_text","source_observed_at":"2026-06-30T08:35:40.617232Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2606.28841"},"observation_digest":"sha256:94e702def268fd9fa691c1831d80142d23a4499f90e9f7948733e863e93814f8","observation_id":"71fe19ef-4d34-42c8-9611-754dec14886f","resolution":{"observed_at":"2026-06-30T08:44:27.816867Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2502.07640","doi":"10.48550/arxiv.2502.07640","metadata_source":"pith","pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving","venue":"cs.LG","work_id":"d493c962-6f13-4605-9836-61b0d15ca1d6","year":2025},"citing_paper":{"arxiv_id":"2606.31134","last_updated":"2026-07-01T19:08:57Z","snapshot_observed_at":"2026-07-07T00:04:53.774826Z","submitted_at":"2026-06-30T05:05:03Z","title":"Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-01T05:54:51.200436Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2606.31134"},"observation_digest":"sha256:788bf1a8d43e10247d0dd0f836040ca1106543529c971aff6a55192559877b5a","observation_id":"c7e5db47-40fe-4c34-ab52-900ac74fd122","resolution":{"observed_at":"2026-07-01T10:05:40.852864Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2502.07640","doi":"10.48550/arxiv.2502.07640","metadata_source":"pith","pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving","venue":"cs.LG","work_id":"d493c962-6f13-4605-9836-61b0d15ca1d6","year":2025},"citing_paper":{"arxiv_id":"2606.31134","last_updated":"2026-07-01T19:08:57Z","snapshot_observed_at":"2026-07-07T00:04:53.774826Z","submitted_at":"2026-06-30T05:05:03Z","title":"Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-03T22:34:08.241014Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2606.31134"},"observation_digest":"sha256:b372d9b580871b8e976f8c1bc770a07c0a0414934f9d742ac4f333d435c7a4e5","observation_id":"72e02a87-44dc-4b83-9641-564bc0298925","resolution":{"observed_at":"2026-07-03T22:39:01.183723Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2502.07640","doi":"10.48550/arxiv.2502.07640","metadata_source":"pith","pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving","venue":"cs.LG","work_id":"d493c962-6f13-4605-9836-61b0d15ca1d6","year":2025},"citing_paper":{"arxiv_id":"2607.02390","last_updated":"2026-07-02T16:25:10Z","snapshot_observed_at":"2026-08-03T00:49:51.748486Z","submitted_at":"2026-07-02T16:25:10Z","title":"DecompRL: Solving Harder Problems by Learning Modular Code Generation","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-07-03T16:30:34.793328Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2607.02390"},"observation_digest":"sha256:d84dfb82be702163e65d2aa6f0f4169ed51827acbf5d98cd47755847b0f9009e","observation_id":"5b48df0d-1640-4bfc-aa6d-a801ab21a51d","resolution":{"observed_at":"2026-07-03T16:38:39.794420Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","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-07-11T16:08:39.755740Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving.arXiv preprint arXiv:2502.07640, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.04631","last_updated":"2026-07-06T03:31:14Z","snapshot_observed_at":"2026-07-11T16:08:39.171971Z","submitted_at":"2026-07-06T03:31:14Z","title":"Formal Disco: Scalable Open-Ended Generation of Formally Verified Programs","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-11T16:08:39.755740Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2607.04631"},"observation_digest":"sha256:82852bcf345ad259f86cc3217f4232be82d666c8a110e5d3a7cd22bc18e72b49","observation_id":"73b27a59-95bb-4b41-bcb0-289134ee65a2","resolution":{"observed_at":"2026-07-11T16:08:39.755740Z","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-07-06T20:34:48.850154Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2502.07640","doi":"10.48550/arxiv.2502.07640","metadata_source":"pith","pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving","venue":"cs.LG","work_id":"d493c962-6f13-4605-9836-61b0d15ca1d6","year":2025},"citing_paper":{"arxiv_id":"2607.07779","last_updated":"2026-07-08T17:46:36Z","snapshot_observed_at":"2026-07-12T23:17:59.879344Z","submitted_at":"2026-07-08T17:46:36Z","title":"From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier","version":1},"reference_index":146,"source":"pdf_text","source_observed_at":"2026-07-10T18:16:31.176239Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2607.07779"},"observation_digest":"sha256:dcf540c1670476a3b35c33e20630f66e70f8a9296ce20f78b0ea1e08a07f56fd","observation_id":"d94d20de-66b4-4e43-a413-c1c1c77b4fe4","resolution":{"observed_at":"2026-07-10T18:17:33.703233Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","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-02T05:40:07.632952Z","title":"arXiv preprint arXiv:2502.07640 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.13292","last_updated":"2026-07-14T21:58:52Z","snapshot_observed_at":"2026-08-02T05:39:53.873027Z","submitted_at":"2026-07-14T21:58:52Z","title":"Theory-Level Autoformalization: From Isolated Statements to Unified Formal Knowledge Bases","version":1},"reference_index":100,"source":"arxiv_source","source_observed_at":"2026-08-02T05:40:07.632952Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2607.13292"},"observation_digest":"sha256:eb58a0787af911e5b48acdc888d210c51bf7ca371375875627ad798b5b4f64c2","observation_id":"6f8d0fb5-14c7-4a99-b3fa-29d1f000863c","resolution":{"observed_at":"2026-08-02T05:40:07.632952Z","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-07-06T20:34:48.850154Z","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-01T06:32:20.625565Z","title":"Goedel-Prover: A frontier model for open-source automated theorem proving.arXiv preprint arXiv:2502.07640, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21856","last_updated":"2026-07-23T22:50:23Z","snapshot_observed_at":"2026-08-05T03:03:44.043031Z","submitted_at":"2026-07-23T22:50:23Z","title":"LeAct: Learning to Reason from Expert Actions","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-01T06:32:20.625565Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2607.21856"},"observation_digest":"sha256:693245271d72ade843d0f7df0336f1bb2e6c5499902e842b31566ace12278c53","observation_id":"4784f6d8-ecc4-41b1-81d0-4f4ee2f31edb","resolution":{"observed_at":"2026-08-01T06:32:20.625565Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2502.07640/citation-record","integrity":"/paper/2502.07640/integrity","json":"/paper/2502.07640/citation-record.json","paper":"/paper/2502.07640"},"outbound":[],"paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","latest_version":3,"primary_category":"cs.LG","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving"},"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-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"thesis":"As of 5 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 37 inbound Pith citation observations for arXiv:2502.07640."}