{"as_of":"2026-08-23T02:23:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4e0be30de3a6a002725a5cb1a029fb8714e3023fd7640a4ce7a4639cdd4e7295","coverage":[{"denominator":39,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":39,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T18:17:14.039755Z","state":"measured"},{"denominator":39,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":39,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-22T06:32:14.747728+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.17352/citation-record","integrity":"/paper/2607.17352/integrity","json":"/paper/2607.17352/citation-record.json","paper":"/paper/2607.17352"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T18:17:10.590343Z","title":null,"venue":null,"work_id":null,"year":1968},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:10.590343Z"},"links":{"citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:f94a292780330aad29776474a3d7148237b3356afb5f61c247ae7892ec3a64fd","observation_id":"8d6dde64-5196-438c-aa36-4633bfbad10e","resolution":{"observed_at":"2026-08-01T18:17:10.590343Z","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-01T18:17:10.677567Z","title":"Brant and Kenneth O","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:10.677567Z"},"links":{"citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:aefbd7693e73ad1b3266738aea80da0727dd4a4ef8c2945a0dd513a19a03fe4f","observation_id":"ea2d013a-5f14-4038-874e-25f7eb5f2f65","resolution":{"observed_at":"2026-08-01T18:17:10.677567Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2309.17288","last_updated":"2024-04-29T18:38:26Z","snapshot_observed_at":"2026-08-16T14:56:29.843666Z","submitted_at":"2023-09-29T14:46:30Z","title":"AutoAgents: A Framework for Automatic Agent Generation","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.17288","snapshot_observed_at":"2026-08-01T18:17:10.748889Z","title":"Karlsson, Jie Fu, and Yemin Shi","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:10.748889Z"},"links":{"cited_paper":"/paper/2309.17288","citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:a1795eb46dc844e99cf98192d99497380682d755b1038f395b73dc861c6a31e3","observation_id":"17cdf9fa-46f0-49fc-8c1b-031484686e6e","resolution":{"observed_at":"2026-08-01T18:17:10.748889Z","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-01T18:17:10.815564Z","title":"Multi-agent evolve: Llm self-improve through co-evolution.arXiv preprint arXiv:2510.23595, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:10.815564Z"},"links":{"citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:abab041d577c8a5c88126e7c5e5caf43657dea599d5014f79e573f6e982a1645","observation_id":"872d2dd4-bfaa-47d1-bc7e-c70a98d130b8","resolution":{"observed_at":"2026-08-01T18:17:10.815564Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2606.06468","last_updated":"2026-06-04T17:54:44Z","snapshot_observed_at":"2026-08-13T13:43:20.358068Z","submitted_at":"2026-06-04T17:54:44Z","title":"Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.06468","snapshot_observed_at":"2026-08-01T18:17:11.021412Z","title":"Fowl, and Sanjeev Arora","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:11.021412Z"},"links":{"cited_paper":"/paper/2606.06468","citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:c8b33e588a9f86fdfb91b16c339c434fc4b9e593a86c179479d100e51b83ff29","observation_id":"2ac26462-a68a-4bd6-8b47-e0d26a0d342e","resolution":{"observed_at":"2026-08-01T18:17:11.021412Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2012.02096","last_updated":"2021-02-04T03:01:31Z","snapshot_observed_at":"2026-08-16T19:01:10.983887Z","submitted_at":"2020-12-03T17:37:01Z","title":"Emergent Complexity and Zero-shot Transfer via Unsupervised Environment Design","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2012.02096","snapshot_observed_at":"2026-08-01T18:17:11.122289Z","title":"Emergent complexity and zero-shot transfer via unsupervised en- vironment design","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:11.122289Z"},"links":{"cited_paper":"/paper/2012.02096","citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:c930fed86bfeddc107377929c75f1c13cfb6459ad1545061de297d39727d9bfa","observation_id":"91032b63-f1d7-48b3-a949-a1a46e31deb5","resolution":{"observed_at":"2026-08-01T18:17:11.122289Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2309.16797","last_updated":"2023-09-28T19:01:07Z","snapshot_observed_at":"2026-08-14T11:37:32.461743Z","submitted_at":"2023-09-28T19:01:07Z","title":"Promptbreeder: Self-Referential Self-Improvement Via Prompt Evolution","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.16797","snapshot_observed_at":"2026-08-01T18:17:11.189128Z","title":"Promptbreeder: Self-referential self-improvement via prompt evolution.arXiv preprint arXiv:2309.16797, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:11.189128Z"},"links":{"cited_paper":"/paper/2309.16797","citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:601a2ce5230de931c2ed4cbc3b5a19e259da8d826a30e35dd996422e39e5bacf","observation_id":"42d20656-7ee7-4664-9d41-145e2b93750a","resolution":{"observed_at":"2026-08-01T18:17:11.189128Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2507.21046","last_updated":"2026-01-16T20:59:08Z","snapshot_observed_at":"2026-08-01T06:32:44.461162Z","submitted_at":"2025-07-28T17:59:05Z","title":"A Survey of Self-Evolving Agents: What, When, How, and Where to Evolve on the Path to Artificial Super Intelligence","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2507.21046","snapshot_observed_at":"2026-08-01T18:17:11.264171Z","title":"A survey of self-evolving agents: What, when, how, and where to evolve on the path to artificial super intelligence.Transactions on Machine Learning Research, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:11.264171Z"},"links":{"cited_paper":"/paper/2507.21046","citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:1356c4b49ca4578c895dc76884d49c4331a6d3636d9ad0ff29f276b8cf9399c9","observation_id":"289d1cb8-d4ee-487c-9bc1-f98bd5b5ba1f","resolution":{"observed_at":"2026-08-01T18:17:11.264171Z","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-01T18:17:11.419731Z","title":"Genenv: Difficulty-aligned co-evolution between llm agents and environment simulators.arXiv preprint arXiv:2512.19682, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:11.419731Z"},"links":{"citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:33c43df2938043130716825e9fccb34413ad5e4e6d0feaca98255ce1b4d4c99d","observation_id":"cbed9328-a45d-42e6-8d11-8d7537923a28","resolution":{"observed_at":"2026-08-01T18:17:11.419731Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08435","last_updated":"2025-03-02T05:13:28Z","snapshot_observed_at":"2026-08-06T11:45:45.286982Z","submitted_at":"2024-08-15T21:59:23Z","title":"Automated Design of Agentic Systems","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08435","snapshot_observed_at":"2026-08-01T18:17:11.492813Z","title":"Automated design of agentic systems.arXiv preprint arXiv:2408.08435, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:11.492813Z"},"links":{"cited_paper":"/paper/2408.08435","citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:67114ce3b30f8c9c91735e879ad3743855b36bcbaf351a4dd716a0f0453a798c","observation_id":"6ef04483-f1f9-49b4-8d6e-93a87dd9cdf0","resolution":{"observed_at":"2026-08-01T18:17:11.492813Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2603.05912","last_updated":"2026-04-03T18:42:35Z","snapshot_observed_at":"2026-08-17T13:55:40.994435Z","submitted_at":"2026-03-06T05:05:57Z","title":"DeepFact: Co-Evolving Benchmarks and Agents for Deep Research Factuality","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2603.05912","snapshot_observed_at":"2026-08-01T18:17:11.558963Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:11.558963Z"},"links":{"cited_paper":"/paper/2603.05912","citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:6e9f180c70654f22e214fe01def21b5b4cc77d37a5f4414d926057137fd8254a","observation_id":"b2c53319-355d-4f79-acb1-c79ae3a8eb3d","resolution":{"observed_at":"2026-08-01T18:17:11.558963Z","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-01T18:17:11.640545Z","title":"Horváth, Goran Žužić, Eric Wieser, Aja Huang, Julian Schrittwieser, Yannick Schroecker, Hussain Masoom, et al","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:11.640545Z"},"links":{"citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:061c2d82199488925ef448d3db0eca02d15c8058647cc65e5eded005342e784f","observation_id":"7bc55186-94ea-47fe-9f88-03f92a1af486","resolution":{"observed_at":"2026-08-01T18:17:11.640545Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2606.26294","last_updated":"2026-06-29T17:13:25Z","snapshot_observed_at":"2026-08-12T18:01:30.391819Z","submitted_at":"2026-06-24T18:38:26Z","title":"The Red Queen G\\\"odel Machine: Co-Evolving Agents and Their Evaluators","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.26294","snapshot_observed_at":"2026-08-01T18:17:11.742773Z","title":"Shen, Daniel Burkhardt, Meghdad Kurmanji, Nurbek Tastan, LorenzoSani, NiccolòAlbertoEliaVenanzi, AmbroiseOdonnat, ZeyuCao, BillMarino, Xinchi Qiu, and Nicholas D","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:11.742773Z"},"links":{"cited_paper":"/paper/2606.26294","citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:87284185c2a4f1581af4bb62d8f685aa619c89be3c9e5dc9b47a592a03dc04ae","observation_id":"53fc5b88-5fdc-4734-a758-354b81ee40e6","resolution":{"observed_at":"2026-08-01T18:17:11.742773Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2210.12283","last_updated":"2023-02-20T16:10:20Z","snapshot_observed_at":"2026-08-18T21:03:18.814311Z","submitted_at":"2022-10-21T22:37:22Z","title":"Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2210.12283","snapshot_observed_at":"2026-08-01T18:17:11.832781Z","title":"Draft, sketch, and prove: Guiding formal theorem provers with informal proofs","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:11.832781Z"},"links":{"cited_paper":"/paper/2210.12283","citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:13fff7abc8a79204aab373829daf3e245fc2f66904bf388023a20c3c75ed7242","observation_id":"740185af-08bb-4481-8c85-84129081f66f","resolution":{"observed_at":"2026-08-01T18:17:11.832781Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2606.03303","last_updated":"2026-06-03T06:16:05Z","snapshot_observed_at":"2026-08-16T19:35:33.732699Z","submitted_at":"2026-06-02T08:16:42Z","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.03303","snapshot_observed_at":"2026-08-01T18:17:11.918372Z","title":"Le, Burak Gokturk, Thang Luong, Tomas Pfister, and Nanyun Peng","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:11.918372Z"},"links":{"cited_paper":"/paper/2606.03303","citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:e79cb3f2d868044f732ee0d2fddba63763ea7bdac0a9db7c2723f8f0d89093ce","observation_id":"4115b213-8c27-466f-a966-459ae8a35e07","resolution":{"observed_at":"2026-08-01T18:17:11.918372Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2508.03613","last_updated":"2025-08-05T16:28:22Z","snapshot_observed_at":"2026-08-22T06:16:13.377123Z","submitted_at":"2025-08-05T16:28:22Z","title":"Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2508.03613","snapshot_observed_at":"2026-08-01T18:17:12.012200Z","title":"Goedel-prover- v2: Scaling formal theorem proving with scaffolded data synthesis and self-correction.arXiv preprint arXiv:2508.03613, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:12.012200Z"},"links":{"cited_paper":"/paper/2508.03613","citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:f309a2ce24312ad0b71d60246aa9982e005ac997540fad5d0b31e043a4d9535b","observation_id":"cf06c14a-fac6-4bd7-a362-69c599b71fde","resolution":{"observed_at":"2026-08-01T18:17:12.012200Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2506.13131","last_updated":"2025-06-16T06:37:18Z","snapshot_observed_at":"2026-08-20T22:23:36.450758Z","submitted_at":"2025-06-16T06:37:18Z","title":"AlphaEvolve: A coding agent for scientific and algorithmic discovery","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.13131","snapshot_observed_at":"2026-08-01T18:17:12.088095Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:12.088095Z"},"links":{"cited_paper":"/paper/2506.13131","citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:dd316c1394b9ed706588b0646f16031305f561e9a5da28c8808b81c8b53ac62b","observation_id":"3c5610f6-8d6b-4530-8ad6-1a171f59026a","resolution":{"observed_at":"2026-08-01T18:17:12.088095Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2009.03393","last_updated":"2020-09-07T19:50:10Z","snapshot_observed_at":"2026-08-18T11:16:18.404679Z","submitted_at":"2020-09-07T19:50:10Z","title":"Generative Language Modeling for Automated Theorem Proving","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2009.03393","snapshot_observed_at":"2026-08-01T18:17:12.170822Z","title":"Generative language modeling for automated theorem prov- ing.arXiv preprint arXiv:2009.03393, 2020","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:12.170822Z"},"links":{"cited_paper":"/paper/2009.03393","citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:198702fbcaa7aa1e657bc60b6b4112aef8cf9fda34f8d4668c5d93f4bad6b64b","observation_id":"a6be0ae8-5fc4-4ec0-a173-550cdf11d2c1","resolution":{"observed_at":"2026-08-01T18:17:12.170822Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2003.04664","last_updated":"2020-05-28T20:51:40Z","snapshot_observed_at":"2026-08-09T01:09:42.786424Z","submitted_at":"2020-03-10T12:38:31Z","title":"Automatic Curriculum Learning For Deep RL: A Short Survey","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2003.04664","snapshot_observed_at":"2026-08-01T18:17:12.227274Z","title":"Auto- matic curriculum learning for deep rl: A short survey","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:12.227274Z"},"links":{"cited_paper":"/paper/2003.04664","citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:88b52398f294daa47b25fc866ea938627561c40052cb017e65800a9155339929","observation_id":"e7e721b1-0c7c-49a0-ba86-ce7cfc9bc795","resolution":{"observed_at":"2026-08-01T18:17:12.227274Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.21801","last_updated":"2025-07-18T08:20:23Z","snapshot_observed_at":"2026-08-02T11:46:58.603316Z","submitted_at":"2025-04-30T16:57:48Z","title":"DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.21801","snapshot_observed_at":"2026-08-01T18:17:12.327810Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:12.327810Z"},"links":{"cited_paper":"/paper/2504.21801","citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:c44652adfee018ded70ebad381cb080f5d8dc3eceb5e0e8e044a2df2313466de","observation_id":"c2b1a05c-a515-4257-b202-383b03145ec2","resolution":{"observed_at":"2026-08-01T18:17:12.327810Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.15228","last_updated":"2025-05-16T20:58:56Z","snapshot_observed_at":"2026-08-20T04:54:01.711797Z","submitted_at":"2025-04-21T16:58:18Z","title":"A Self-Improving Coding Agent","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.15228","snapshot_observed_at":"2026-08-01T18:17:12.455425Z","title":"A self-improving coding agent","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:12.455425Z"},"links":{"cited_paper":"/paper/2504.15228","citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:44f6996e21cf50fc4e1da24c35300d036fd0fc6ded4fbcec10a44483cf8f1598","observation_id":"2347a8b2-1d52-46b8-8ec6-b9693bf80ed3","resolution":{"observed_at":"2026-08-01T18:17:12.455425Z","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-01T18:17:12.534858Z","title":"Pawan Kumar, Emilien Dupont, Francisco J","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:12.534858Z"},"links":{"citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:59f4685ce01e7d471c6fd20fa41bcfa3af2b12106732dd404025747a567e2a3f","observation_id":"06e72aa2-4ba5-4409-8bc2-45339e133865","resolution":{"observed_at":"2026-08-01T18:17:12.534858Z","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-01T18:17:12.702684Z","title":"Gödel machines: Fully self-referential optimal universal self-improvers","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:12.702684Z"},"links":{"citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:6e0fa629ade80e4fd27b6ad51e5cb1d53277e0c91c3cbcf86147fe6a901a2e9d","observation_id":"ea0283a6-15f5-43fa-9050-772246627e7b","resolution":{"observed_at":"2026-08-01T18:17:12.702684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.06153","last_updated":"2025-02-27T13:33:55Z","snapshot_observed_at":"2026-08-21T08:44:16.197423Z","submitted_at":"2024-10-08T15:52:42Z","title":"AgentSquare: Automatic LLM Agent Search in Modular Design Space","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.06153","snapshot_observed_at":"2026-08-01T18:17:12.763701Z","title":"Agentsquare: Automatic llm agent search in modular design space","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:12.763701Z"},"links":{"cited_paper":"/paper/2410.06153","citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:361903a2287040b8708e378c623d7e69cc213719ceafa8503a4973e9c295df99","observation_id":"b3a7fbb2-6280-4b59-8331-b2e04a98bf4b","resolution":{"observed_at":"2026-08-01T18:17:12.763701Z","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-01T18:17:12.832821Z","title":"Lean copilot: Large language models as copilots for theorem proving in lean","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:12.832821Z"},"links":{"cited_paper":"/paper/2404.12534","citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:27e120df1830b5e271d751825a038be405c064be1c56546cd6ac4d0542b71ae9","observation_id":"31c2dc5f-6b95-485d-a0f3-c40e3363b86e","resolution":{"observed_at":"2026-08-01T18:17:12.832821Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.14387","last_updated":"2024-06-03T17:47:30Z","snapshot_observed_at":"2026-08-19T18:15:27.019860Z","submitted_at":"2024-04-22T17:43:23Z","title":"A Survey on Self-Evolution of Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.14387","snapshot_observed_at":"2026-08-01T18:17:12.906376Z","title":"A survey on self-evolution of large language models","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:12.906376Z"},"links":{"cited_paper":"/paper/2404.14387","citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:d4d87ddc3177f95403589abcc8734a473b589cdb38d2bf02c96ea928ebdfd065","observation_id":"a2d29073-494a-47f2-92b9-19a902132e44","resolution":{"observed_at":"2026-08-01T18:17:12.906376Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-20T09:35:22.740005Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-01T18:17:13.005816Z","title":"Putnambench: Evaluating neural theorem-provers on the putnam mathematical competition","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:13.005816Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:ef9d9cee483125e6dd176f9e2912ceec83d43be58ac473c291923fc2d7adb3d2","observation_id":"cbf47e25-73b6-4666-b3e1-3458db8d175c","resolution":{"observed_at":"2026-08-01T18:17:13.005816Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T18:17:13.074725Z","title":"Vygotsky.Mind in Society: The Development of Higher Psychological Processes","venue":null,"work_id":null,"year":1978},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:13.074725Z"},"links":{"citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:d62c7a0128bd05b0c80c0257f42609170e1d42d14f882f1b806f3c7ea2641a76","observation_id":"80c2df8e-7750-44c1-9ddd-057f2176d77b","resolution":{"observed_at":"2026-08-01T18:17:13.074725Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1901.01753","last_updated":"2019-02-21T01:17:31Z","snapshot_observed_at":"2026-08-22T05:06:37.576630Z","submitted_at":"2019-01-07T11:28:36Z","title":"Paired Open-Ended Trailblazer (POET): Endlessly Generating Increasingly Complex and Diverse Learning Environments and Their Solutions","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1901.01753","snapshot_observed_at":"2026-08-01T18:17:13.146406Z","title":null,"venue":null,"work_id":null,"year":1901},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:13.146406Z"},"links":{"cited_paper":"/paper/1901.01753","citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:2c963a26cf7813d23e2e1729a7f77c6913b79a683eec45801251b084e2630b03","observation_id":"7d56ec9d-14fe-4b88-851a-da1425f0cf2f","resolution":{"observed_at":"2026-08-01T18:17:13.146406Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2306.15626","last_updated":"2023-10-27T16:00:20Z","snapshot_observed_at":"2026-08-19T12:25:13.729108Z","submitted_at":"2023-06-27T17:05:32Z","title":"LeanDojo: Theorem Proving with Retrieval-Augmented Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.15626","snapshot_observed_at":"2026-08-01T18:17:13.286690Z","title":"Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan Prenger, and Anima Anandkumar","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:13.286690Z"},"links":{"cited_paper":"/paper/2306.15626","citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:1ee6d5acd87473be1439a04414c3d4a5c901ab04a82e22c4488827738c666d2c","observation_id":"905845d0-a904-4239-a589-527341e5e991","resolution":{"observed_at":"2026-08-01T18:17:13.286690Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.10064","last_updated":"2026-05-11T06:39:51Z","snapshot_observed_at":"2026-08-11T00:34:19.950516Z","submitted_at":"2026-05-11T06:39:51Z","title":"MAGE: Multi-Agent Self-Evolution with Co-Evolutionary Knowledge Graphs","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.10064","snapshot_observed_at":"2026-08-01T18:17:13.394765Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:13.394765Z"},"links":{"cited_paper":"/paper/2605.10064","citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:74b50d2991ee1dff16b6aeba1288e7d22d7bf080b9f125a35cfdfab01c175d15","observation_id":"e70ad0bc-0a10-41e1-a291-027d67ffaeaf","resolution":{"observed_at":"2026-08-01T18:17:13.394765Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.04444","last_updated":"2025-05-31T07:33:17Z","snapshot_observed_at":"2026-08-16T13:12:11.770601Z","submitted_at":"2024-10-06T10:49:40Z","title":"G\\\"odel Agent: A Self-Referential Agent Framework for Recursive Self-Improvement","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.04444","snapshot_observed_at":"2026-08-01T18:17:13.501930Z","title":"Gödel agent: A self-referential agent framework for recursively self-improvement","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:13.501930Z"},"links":{"cited_paper":"/paper/2410.04444","citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:c467e5dac9f8c8d7fdd3ec57d2b351e36f61ec9177829fe6a31a00a943576445","observation_id":"0be75658-030b-45dc-9a82-b3ea799a9faa","resolution":{"observed_at":"2026-08-01T18:17:13.501930Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.14228","last_updated":"2025-03-10T02:42:01Z","snapshot_observed_at":"2026-08-16T13:41:08.794281Z","submitted_at":"2024-06-20T11:49:23Z","title":"EvoAgent: Towards Automatic Multi-Agent Generation via Evolutionary Algorithms","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.14228","snapshot_observed_at":"2026-08-01T18:17:13.579071Z","title":"Evoagent: Towards automatic multi-agent generation via evolutionary algorithms","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:13.579071Z"},"links":{"cited_paper":"/paper/2406.14228","citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:4da3cd6ee18b07bc82c3e44f3155d906be3eae5d9581ee569dc676f0641d7f69","observation_id":"ee318a50-c48f-4f87-9e74-084417a6e72d","resolution":{"observed_at":"2026-08-01T18:17:13.579071Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.02304","last_updated":"2024-08-16T17:28:08Z","snapshot_observed_at":"2026-08-20T02:48:16.592784Z","submitted_at":"2023-10-03T17:59:32Z","title":"Self-Taught Optimizer (STOP): Recursively Self-Improving Code Generation","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.02304","snapshot_observed_at":"2026-08-01T18:17:13.669433Z","title":"Self-taught opti- mizer (stop): Recursively self-improving code generation","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:13.669433Z"},"links":{"cited_paper":"/paper/2310.02304","citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:5497e4caf6b1e700bfaa5f2560c54c28fa88857a9a3449070ce25fa754ebb6cf","observation_id":"38fb5f5e-e68a-46a2-8852-4972ca62dfb1","resolution":{"observed_at":"2026-08-01T18:17:13.669433Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.22954","last_updated":"2026-03-12T23:47:40Z","snapshot_observed_at":"2026-08-13T19:47:12.152634Z","submitted_at":"2025-05-29T00:26:15Z","title":"Darwin Godel Machine: Open-Ended Evolution of Self-Improving Agents","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.22954","snapshot_observed_at":"2026-08-01T18:17:13.739090Z","title":"Darwin gödel machine: Open-ended evolution of self-improving agents.arXiv preprint arXiv:2505.22954, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:13.739090Z"},"links":{"cited_paper":"/paper/2505.22954","citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:80b8644d126a384143c1de719e1cbf11d50a02625be825edab258a7616fee9d8","observation_id":"f79b4b18-8f8d-4c2c-bfc2-8fb5eadd99e6","resolution":{"observed_at":"2026-08-01T18:17:13.739090Z","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-01T18:17:13.808640Z","title":"Hyperagents.arXiv preprint arXiv:2603.19461, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:13.808640Z"},"links":{"citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:ebfec2bee420f6d7a5fa122def0240bda210de522f8950a1b20bed6280505169","observation_id":"b0e16bad-f7fb-4bbd-83e4-51b9566d4beb","resolution":{"observed_at":"2026-08-01T18:17:13.808640Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.10762","last_updated":"2025-04-15T02:44:55Z","snapshot_observed_at":"2026-07-06T19:33:12.610676Z","submitted_at":"2024-10-14T17:40:40Z","title":"AFlow: Automating Agentic Workflow Generation","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.10762","snapshot_observed_at":"2026-08-01T18:17:13.889317Z","title":"Aflow: Automating agentic workflow generation","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:13.889317Z"},"links":{"cited_paper":"/paper/2410.10762","citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:bd96b7bb0b515039848354ef3b3fa2c36ce85ffe527e7d30f3a86b2fb79a73d5","observation_id":"a3549eb5-a182-4330-81fc-27b6bf11d7c3","resolution":{"observed_at":"2026-08-01T18:17:13.889317Z","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-01T18:17:13.975527Z","title":"Minif2f: A cross-system benchmark for formal olympiad-level mathematics","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:13.975527Z"},"links":{"citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:12e04a4f3339eeb4ff00d3484988e742dcfa8dd724c2167e2873982ccedb4335","observation_id":"f63fc81c-1d97-40ca-bb73-66265124854b","resolution":{"observed_at":"2026-08-01T18:17:13.975527Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2109.00110","last_updated":"2022-02-28T06:03:23Z","snapshot_observed_at":"2026-08-20T12:19:00.247030Z","submitted_at":"2021-08-31T23:21:12Z","title":"MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2109.00110","snapshot_observed_at":"2026-08-01T18:17:14.039755Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:14.039755Z"},"links":{"cited_paper":"/paper/2109.00110","citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:69cd5923fc0ad601ad2110b6f15e3c52e2cc7df3f8b190ccea9ee4c78b186269","observation_id":"fdff76e3-2a33-4397-aa61-414c833bc277","resolution":{"observed_at":"2026-08-01T18:17:14.039755Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-14T02:32:09.447842Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution"},"reference_resolution":{"displayed":39,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":39,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":39},"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-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"thesis":"As of 23 August 2026, this Paper Citation Record lists 39 of 39 outbound references and 0 inbound Pith citation observations for arXiv:2607.17352."}