{"as_of":"2026-08-13T16:47:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7e903dff7a87f048397bc6fca259b837dc75f10fcd2521091b1b113d2112af69","coverage":[{"denominator":51,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":51,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T22:22:14.853355Z","state":"measured"},{"denominator":63,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":63,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-13T06:32:02.005865+00:00","state":"measured"},{"denominator":12,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":12,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T19:18:47.408187Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"arxiv_reference","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":0,"observed_at":"2026-08-05T02:28:24.338817Z","source":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2509.07367","snapshot_observed_at":"2026-08-02T19:18:47.408187Z","title":"Autonomous 10 code evolution meets np-completeness,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.02792","last_updated":"2026-07-19T10:36:17Z","snapshot_observed_at":"2026-08-07T11:23:35.985164Z","submitted_at":"2026-03-03T09:27:52Z","title":"From Heuristic Selection to Automated Algorithm Design: LLMs Benefit from Strong Priors","version":2},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-02T19:18:47.408187Z"},"links":{"cited_paper":"/paper/2509.07367","citing_paper":"/paper/2603.02792"},"observation_digest":"sha256:69d021d251c17ad9c2616155cf85e7925910243d7a284706c517dfb7e115cfd6","observation_id":"ff4d9a4a-075c-44a4-a0af-acfa733b20a5","resolution":{"observed_at":"2026-08-02T19:18:47.408187Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"cited_work":{"arxiv_id":"2509.07367","doi":"10.48550/arxiv.2509.07367","metadata_source":"arxiv_reference","pith_arxiv_id":"2509.07367","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"doi:10.48550/arXiv.2509.07367 , url =","venue":"ArXiv.org","work_id":"ffda1f17-4527-4646-bd96-7f69c909d1c4","year":2025},"citing_paper":{"arxiv_id":"2603.26499","last_updated":"2026-04-13T16:38:00Z","snapshot_observed_at":"2026-08-12T16:37:50.756318Z","submitted_at":"2026-03-27T15:02:43Z","title":"AIRA_2: Overcoming Bottlenecks in AI Research Agents","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-14T23:06:39.545404Z"},"links":{"cited_paper":"/paper/2509.07367","citing_paper":"/paper/2603.26499"},"observation_digest":"sha256:ad2d0b702d9ebea05f1861f73d4750a6e66fb5dca009b72ffc52b99e55a39b32","observation_id":"5349dd48-f2dd-4f12-a907-ba284404c7f2","resolution":{"observed_at":"2026-05-14T23:08:14.554308Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"cited_work":{"arxiv_id":"2509.07367","doi":"10.48550/arxiv.2509.07367","metadata_source":"arxiv_reference","pith_arxiv_id":"2509.07367","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"doi:10.48550/arXiv.2509.07367 , url =","venue":"ArXiv.org","work_id":"ffda1f17-4527-4646-bd96-7f69c909d1c4","year":2025},"citing_paper":{"arxiv_id":"2604.03232","last_updated":"2026-01-18T12:37:27Z","snapshot_observed_at":"2026-07-06T22:52:25.307426Z","submitted_at":"2026-01-18T12:37:27Z","title":"IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-16T13:23:20.746776Z"},"links":{"cited_paper":"/paper/2509.07367","citing_paper":"/paper/2604.03232"},"observation_digest":"sha256:de1d02bfba82761fafa8b24f97a021a34533867f045651b31a3e6b5f25b1914d","observation_id":"7b07f1a5-39e7-4145-90bb-118d7cea5364","resolution":{"observed_at":"2026-05-16T13:27:55.899728Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"cited_work":{"arxiv_id":"2509.07367","doi":"10.48550/arxiv.2509.07367","metadata_source":"arxiv_reference","pith_arxiv_id":"2509.07367","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"doi:10.48550/arXiv.2509.07367 , url =","venue":"ArXiv.org","work_id":"ffda1f17-4527-4646-bd96-7f69c909d1c4","year":2025},"citing_paper":{"arxiv_id":"2604.14237","last_updated":"2026-04-15T00:19:07Z","snapshot_observed_at":"2026-08-11T11:27:24.969537Z","submitted_at":"2026-04-15T00:19:07Z","title":"TOPCELL: Topology Optimization of Standard Cell via LLMs","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-05-10T14:13:21.481045Z"},"links":{"cited_paper":"/paper/2509.07367","citing_paper":"/paper/2604.14237"},"observation_digest":"sha256:529bfc9f1a23eb13bcc3bbb580600a356470990aa9f04179aee50150c83d2446","observation_id":"3fb179a1-b582-4577-86a9-3c6d61ca5070","resolution":{"observed_at":"2026-05-10T14:15:29.334280Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"cited_work":{"arxiv_id":"2509.07367","doi":"10.48550/arxiv.2509.07367","metadata_source":"arxiv_reference","pith_arxiv_id":"2509.07367","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"doi:10.48550/arXiv.2509.07367 , url =","venue":"ArXiv.org","work_id":"ffda1f17-4527-4646-bd96-7f69c909d1c4","year":2025},"citing_paper":{"arxiv_id":"2604.15082","last_updated":"2026-04-16T14:42:55Z","snapshot_observed_at":"2026-08-11T01:33:34.829803Z","submitted_at":"2026-04-16T14:42:55Z","title":"Autonomous Evolution of EDA Tools: Multi-Agent Self-Evolved ABC","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-10T09:50:57.708286Z"},"links":{"cited_paper":"/paper/2509.07367","citing_paper":"/paper/2604.15082"},"observation_digest":"sha256:5eb6be263d6b4a0b49f6be49e456d7fb5b12a990723068b7723bd8b745c72431","observation_id":"924b1f56-940e-47b5-a221-95ea23caf0fd","resolution":{"observed_at":"2026-05-10T10:09:07.552444Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"cited_work":{"arxiv_id":"2509.07367","doi":"10.48550/arxiv.2509.07367","metadata_source":"arxiv_reference","pith_arxiv_id":"2509.07367","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"doi:10.48550/arXiv.2509.07367 , url =","venue":"ArXiv.org","work_id":"ffda1f17-4527-4646-bd96-7f69c909d1c4","year":2025},"citing_paper":{"arxiv_id":"2604.22234","last_updated":"2026-04-24T05:18:51Z","snapshot_observed_at":"2026-08-13T15:03:48.500437Z","submitted_at":"2026-04-24T05:18:51Z","title":"GR-Evolve: Design-Adaptive Global Routing via LLM-Driven Algorithm Evolution","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-08T09:45:52.637290Z"},"links":{"cited_paper":"/paper/2509.07367","citing_paper":"/paper/2604.22234"},"observation_digest":"sha256:a579ac59329209b51d68c37f1565bc5536d6476b168b0365e924c0fab3a4c57f","observation_id":"1f594f88-0ade-426b-acf7-0814bffff9af","resolution":{"observed_at":"2026-05-11T20:16:10.625650Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"cited_work":{"arxiv_id":"2509.07367","doi":"10.48550/arxiv.2509.07367","metadata_source":"arxiv_reference","pith_arxiv_id":"2509.07367","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"doi:10.48550/arXiv.2509.07367 , url =","venue":"ArXiv.org","work_id":"ffda1f17-4527-4646-bd96-7f69c909d1c4","year":2025},"citing_paper":{"arxiv_id":"2605.16379","last_updated":"2026-05-11T01:27:59Z","snapshot_observed_at":"2026-08-12T23:04:18.113157Z","submitted_at":"2026-05-11T01:27:59Z","title":"An Information-Theoretic Criterion for Efficient Data Synthesis","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-05-20T22:16:57.983741Z"},"links":{"cited_paper":"/paper/2509.07367","citing_paper":"/paper/2605.16379"},"observation_digest":"sha256:25a59ed19b8839b3626878fad05b855bc854f916db9d8fd0f3b4cec4864932df","observation_id":"7b1ebe62-0d7f-44eb-bc4f-d8391e7d5ec6","resolution":{"observed_at":"2026-05-20T22:19:07.377637Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"cited_work":{"arxiv_id":"2509.07367","doi":"10.48550/arxiv.2509.07367","metadata_source":"arxiv_reference","pith_arxiv_id":"2509.07367","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"doi:10.48550/arXiv.2509.07367 , url =","venue":"ArXiv.org","work_id":"ffda1f17-4527-4646-bd96-7f69c909d1c4","year":2025},"citing_paper":{"arxiv_id":"2605.31049","last_updated":"2026-05-29T09:25:07Z","snapshot_observed_at":"2026-08-04T22:51:48.584950Z","submitted_at":"2026-05-29T09:25:07Z","title":"Learning to Solve and Optimize by Evolving Code","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-06-28T23:43:26.198115Z"},"links":{"cited_paper":"/paper/2509.07367","citing_paper":"/paper/2605.31049"},"observation_digest":"sha256:d4bb15c411676651366ba419dd1339add7f9af508a16ee0dc9f8fe88e7e3169a","observation_id":"bda977dc-bc74-4148-903b-d9967d7f39ce","resolution":{"observed_at":"2026-06-29T00:02:50.143897Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"cited_work":{"arxiv_id":"2509.07367","doi":"10.48550/arxiv.2509.07367","metadata_source":"arxiv_reference","pith_arxiv_id":"2509.07367","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"doi:10.48550/arXiv.2509.07367 , url =","venue":"ArXiv.org","work_id":"ffda1f17-4527-4646-bd96-7f69c909d1c4","year":2025},"citing_paper":{"arxiv_id":"2606.26728","last_updated":"2026-06-25T08:11:48Z","snapshot_observed_at":"2026-08-07T21:53:05.161777Z","submitted_at":"2026-06-25T08:11:48Z","title":"Scientific discovery as meta-optimization: a combinatorial optimization case study","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-26T05:12:43.536126Z"},"links":{"cited_paper":"/paper/2509.07367","citing_paper":"/paper/2606.26728"},"observation_digest":"sha256:607e4710224bc67cd84dad1e58e89b05e9f7821d9bbbf397d3d745ecf577d117","observation_id":"c8dd16f7-b1e3-49a0-a390-83f0dcdb0b36","resolution":{"observed_at":"2026-07-04T13:29:51.458321Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"cited_work":{"arxiv_id":"2509.07367","doi":"10.48550/arxiv.2509.07367","metadata_source":"arxiv_reference","pith_arxiv_id":"2509.07367","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"doi:10.48550/arXiv.2509.07367 , url =","venue":"ArXiv.org","work_id":"ffda1f17-4527-4646-bd96-7f69c909d1c4","year":2025},"citing_paper":{"arxiv_id":"2606.28279","last_updated":"2026-06-26T17:21:06Z","snapshot_observed_at":"2026-08-06T17:12:53.583746Z","submitted_at":"2026-06-26T17:21:06Z","title":"Agentic Hardware Design as Repository-Level Code Evolution","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-29T01:49:07.838897Z"},"links":{"cited_paper":"/paper/2509.07367","citing_paper":"/paper/2606.28279"},"observation_digest":"sha256:28b5485cabb33486c4b0d778414b38609bb333eadce2eb653c411515ca0d2321","observation_id":"4d3cc759-e1e1-46c9-a0a2-5f7ff67f2aeb","resolution":{"observed_at":"2026-07-01T18:45:58.322066Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2509.07367","snapshot_observed_at":"2026-08-02T07:01:03.015249Z","title":"Autonomous code evolution meets np- completeness,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.11294","last_updated":"2026-07-29T07:56:12Z","snapshot_observed_at":"2026-08-08T12:12:44.002534Z","submitted_at":"2026-07-13T09:11:53Z","title":"From Tool Invocation to Source-Mechanism Exploration: Protected White-Box DSE for Open-Source EDA","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-02T07:01:03.015249Z"},"links":{"cited_paper":"/paper/2509.07367","citing_paper":"/paper/2607.11294"},"observation_digest":"sha256:4fcfd0bb9e2b105073b442dffe158f93dae2b56f2f7fe36835180d7767789c1c","observation_id":"376ac4d1-cef5-4954-b9a1-4e2d365b9684","resolution":{"observed_at":"2026-08-02T07:01:03.015249Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2509.07367","snapshot_observed_at":"2026-07-31T04:05:20.062378Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.24998","last_updated":"2026-07-27T18:56:10Z","snapshot_observed_at":"2026-08-09T12:49:22.832894Z","submitted_at":"2026-07-27T18:56:10Z","title":"VPR-Evolve: Multi-Agent-Driven Algorithm Evolution for FPGA Place and Route","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-31T04:05:20.062378Z"},"links":{"cited_paper":"/paper/2509.07367","citing_paper":"/paper/2607.24998"},"observation_digest":"sha256:87fdc02ef254159ca798b60942f5efaf77cdba6791c94df5f86b7664c673e248","observation_id":"dd661f6c-0812-4ba9-8520-b3308593f0c5","resolution":{"observed_at":"2026-07-31T04:05:20.062378Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2509.07367/citation-record","integrity":"/paper/2509.07367/integrity","json":"/paper/2509.07367/citation-record.json","paper":"/paper/2509.07367"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2506.13131","last_updated":"2025-06-16T06:37:18Z","snapshot_observed_at":"2026-08-11T23:48:15.512738Z","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-04T22:22:10.396704Z","title":"arXiv preprint arXiv:2506.13131 (2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:10.396704Z"},"links":{"cited_paper":"/paper/2506.13131","citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:95452e0cdd9dbcd6818ac91bc97904562113e518124c9abf1e35467c2fead541","observation_id":"5864bf7e-04ca-4d39-a5c9-7ad18a1d7e01","resolution":{"observed_at":"2026-08-04T22:22:10.396704Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:19.242039Z","title":"In: Proceedings of the 38th Annual Design Automation Conference, pp","venue":null,"work_id":"ff55c357-c926-40ae-906b-ddff8104dd4b","year":2001},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:10.505878Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:7b11719ba7a001509938fbf3f19df41c2cc09a1e67de03589a7c69f9fd3b80c4","observation_id":"9696ec8a-5c1f-429d-be8e-4d59a78629a4","resolution":{"observed_at":"2026-08-04T22:22:19.246658Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:19.226481Z","title":"variable coverage","venue":null,"work_id":"4da4eb61-c530-4c6a-826a-c5ef3dde71b1","year":2008},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:10.695239Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:db1e914ecb63f332170ccfe36820cde6ce8fdc6e972015a4e3068dcfec94b612","observation_id":"7d7e3ac8-3cf5-4532-a0e9-0f25b85d304c","resolution":{"observed_at":"2026-08-04T22:22:19.231031Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:19.212665Z","title":"International Journal on 19 Artificial Intelligence Tools27(01), 1840001 (2018)","venue":null,"work_id":"5eacc12f-40ef-4772-90a3-0ae8662a6759","year":2018},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:10.775953Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:cd403a9eeb4ac430b52b00fe26bb066cafbea4723a558623ed6ec2030567e1ed","observation_id":"9e6aa5c7-b8e2-412d-9d5f-4fd111df64d8","resolution":{"observed_at":"2026-08-04T22:22:19.216917Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:19.200001Z","title":null,"venue":null,"work_id":"f08799b6-c8b7-4e6d-a67c-bf986c77ade6","year":null},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:10.880230Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:5497f992e5bb3fcedd3856be15b46c3ba20c9922e3358c8d42e21d1fd74978a3","observation_id":"4036fc82-425e-4e71-9461-a95e3011d414","resolution":{"observed_at":"2026-08-04T22:22:19.204017Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:19.174424Z","title":"Sat Competition2020, 50 (2020)","venue":null,"work_id":"1223bbdf-c3fa-49c0-a836-fbafa8773f4e","year":2020},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:11.066407Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:a65e029d0c96674d4278517db27b5ce11c8879ca39a9c8680b3f49c2a7463c83","observation_id":"a2488d35-b437-4582-b93b-f70e16358215","resolution":{"observed_at":"2026-08-04T22:22:19.178431Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:19.160774Z","title":"In: International Conference on Computer Aided Verification, pp","venue":null,"work_id":"4aafc908-441f-4e11-8d9d-6b13dd28dcad","year":2024},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:11.178562Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:2a9907402d7dbfd1732343568d0b70008f33956ee2a94a457bca99a51a37ec41","observation_id":"b7c6989d-23fe-4797-9dc1-956dffd7344c","resolution":{"observed_at":"2026-08-04T22:22:19.164961Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:19.146148Z","title":"SAT COMPETITION2021, 15 (2021)","venue":null,"work_id":"d93343f0-72c7-486e-876c-63f8b3fb619a","year":2021},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:11.321042Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:5d8d5d64d954bc25ec51d4114cb3be8badc7ef7fe8fbccecd3e4c3f9ea97384e","observation_id":"82907e9d-ce18-4872-9d6c-09f8717685f3","resolution":{"observed_at":"2026-08-04T22:22:19.150434Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:19.132766Z","title":"SAT COMPETITION2022, 20 (2022)","venue":null,"work_id":"5067bb6a-a221-4b62-aef8-fbec601148d4","year":2022},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:11.469850Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:5986180105b4f9252005ffc44467925a1ecbc938baafca2498a57fdc9da2d787","observation_id":"5d7c85cb-4265-43be-971c-b3359f380cee","resolution":{"observed_at":"2026-08-04T22:22:19.136725Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:19.119822Z","title":"SAT COMPETITION 2025, 13","venue":null,"work_id":"37aebae4-c2a2-46d8-95ec-8216f424c4ba","year":2025},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:11.608652Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:fe0a99eaca251d861debb8ba409329aff1cfda5c02d5adb43838a1335bb6a394","observation_id":"23f4c9cd-a827-44e3-aad7-8629a384e153","resolution":{"observed_at":"2026-08-04T22:22:19.124056Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:19.107026Z","title":"Proceedings of the Third Annual ACM Symposium on Theory of Computing (1971)","venue":null,"work_id":"a029e4ce-1d49-4f26-b4f8-b06387e029bf","year":1971},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:11.701888Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:777b310690ae5bb97e129e5a8b41c3609d7719bd595b9aab4fccee350b29f2d5","observation_id":"cdfc2e85-5888-4473-bdc9-51880abb1a8b","resolution":{"observed_at":"2026-08-04T22:22:19.111015Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:19.094453Z","title":"Clay Mathematics Institute2(6), 3 (2000)","venue":null,"work_id":"c7692348-6e32-4400-9f40-ff44e7867445","year":2000},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:11.827293Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:b36261810ac98b54035fdfe8191a614ecc82a8825361053e4b75410eef94e679","observation_id":"11d869c5-1b9b-48f3-9379-a61250f49bf9","resolution":{"observed_at":"2026-08-04T22:22:19.098276Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:19.081254Z","title":"Handbook of satisfiability, 131–153 (2009)","venue":null,"work_id":"eccd6b6c-20a9-497b-bc68-89d4bfef8da2","year":2009},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:11.934240Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:8b542b740ff42a927945eb30aa00db6465c4821821650e317d4ad4e0c95028e3","observation_id":"e25548b3-7579-4ad6-8b3a-f384a99c5cac","resolution":{"observed_at":"2026-08-04T22:22:19.085459Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:19.068337Z","title":"Journal of the ACM (JACM)7(3), 201–215 (1960)","venue":null,"work_id":"dd06fb97-da77-40b7-b907-40bfd8df973d","year":1960},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:12.023849Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:85cef0307ba03f82ac60fa779851417884dafa37391a55b839e1841c0c67c2f4","observation_id":"d01def07-ac45-4e17-9994-7140ca485a60","resolution":{"observed_at":"2026-08-04T22:22:19.072410Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:19.055353Z","title":"Artificial Intelligence279, 103197 (2020)","venue":null,"work_id":"ba30b3a8-b92f-4d02-90d6-2c929b4bf539","year":2020},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:12.130834Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:9b07b0ca09ee7f0bbb945873123996439b217acf683516a0828528fcb9dba970","observation_id":"372c42b0-73e0-470a-a4c5-73e381cd1457","resolution":{"observed_at":"2026-08-04T22:22:19.059266Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:19.041305Z","title":"Artificial Intelligence301, 103572 (2021)","venue":null,"work_id":"d8ef6ef6-695b-4b5f-bdab-0a47cc7ead5f","year":2020},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:12.223631Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:309e4395ebf46da91667f09f1209174dc38dacbcf3f08104ed8be726856b1416","observation_id":"40662509-2a30-435d-986e-7fae097cbaac","resolution":{"observed_at":"2026-08-04T22:22:19.045689Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:19.028021Z","title":"In: Proceedings of the AAAI Conference on Artificial Intelligence, vol","venue":null,"work_id":"df5b5339-88fa-4e81-9b6c-97ca910d3ea7","year":2016},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:12.380552Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:63c5995ebfb7ee37f5ef1bd34438e7a9d2bba8b20fde7f153bceb1aaef724ffd","observation_id":"45713e63-d26c-4b84-b349-f91092aee34f","resolution":{"observed_at":"2026-08-04T22:22:19.032183Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:19.014439Z","title":null,"venue":null,"work_id":"7101988b-5c48-4925-939b-4b77eef67f59","year":2009},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:12.484785Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:bfdd0cefb2735ffde0a964a34f192f338c5e2d955f9f9ca2940d23a4d9f68fb1","observation_id":"fe5a8fb6-f241-440d-b4bc-3e057f38ca4f","resolution":{"observed_at":"2026-08-04T22:22:19.018692Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:18.999486Z","title":"https://satcompetition.github.io/","venue":null,"work_id":"af860bba-c84b-427a-8b5c-121826c33123","year":2025},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:12.580300Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:98de0535df7ed840e6de2be62b6d50467c5ae228181250fc02d0385af9607ff9","observation_id":"08db7daf-8653-482b-b0be-475ca398998a","resolution":{"observed_at":"2026-08-04T22:22:19.004390Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:18.984293Z","title":"In: SAT COMPETITION 2022, p","venue":null,"work_id":"da86b986-0090-4644-9073-9823df12d750","year":2022},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:12.642303Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:e78b0b569b799da3d0d2cd49676153d04de05586b484aaf97c29b315da068bc6","observation_id":"0059eb4a-d00e-4aa6-93af-358cda9228d1","resolution":{"observed_at":"2026-08-04T22:22:18.988557Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:18.970871Z","title":"In: 27th International Conference on Principles and Practice of Constraint Programming (2021)","venue":null,"work_id":"53263423-4dc4-4434-95b1-dcc93212ce3a","year":2021},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:12.699388Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:0deb695abac308430104fad8746e83296ceed964aad295cc460615be86b4b42f","observation_id":"3fd146d7-44cc-4ac8-b566-7e7ac0e4c8f4","resolution":{"observed_at":"2026-08-04T22:22:18.974909Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:18.957135Z","title":"In: SAT COMPETITION 2023, p","venue":null,"work_id":"a187387a-0d9d-4dc4-bcb9-73abc59f6b89","year":2023},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:12.756733Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:4df3331b53cf2c3148f7f1cae1957d63297c5929322d9adfdfca3806a55d50fd","observation_id":"00486e8b-69a3-439c-96c4-6ee5c63c7729","resolution":{"observed_at":"2026-08-04T22:22:18.961330Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:18.875834Z","title":"In: 31st International Conference on Principles and Practice of Constraint Programming (CP 2025), pp","venue":null,"work_id":"3e305c60-b5cc-460f-93b8-e6d90fcc5e15","year":2025},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:12.803644Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:735455b5846b92b4b328247fe6175aeafd6ee49f1c0699e44fa8f66eb91ab52f","observation_id":"dbc6c74e-9108-4ea6-b1c3-d22eee0b08d6","resolution":{"observed_at":"2026-08-04T22:22:18.942019Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:18.537405Z","title":"In: 2023 60th ACM/IEEE Design Automation Conference (DAC), pp","venue":null,"work_id":"002ef06a-1a81-4b73-b3b8-d0274464fd92","year":2023},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:12.872942Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:0d275f7014e229e67c1e2594889b49ee6738e3603cf10e4e3ea7faf2a728ef95","observation_id":"305e6594-74a6-4517-8c7f-60270ff7360c","resolution":{"observed_at":"2026-08-04T22:22:18.675681Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2507.06261","last_updated":"2025-12-19T14:25:46Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-07-07T17:36:04Z","title":"Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2507.06261","snapshot_observed_at":"2026-08-04T22:22:12.928291Z","title":"arXiv preprint arXiv:2507.06261 (2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:12.928291Z"},"links":{"cited_paper":"/paper/2507.06261","citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:e79b40b6774ca4d0573fabdcd81a802e0b88257468b3e4f47507eaf6f777b289","observation_id":"35bfb96e-06a2-4b47-b897-a3256560e353","resolution":{"observed_at":"2026-08-04T22:22:12.928291Z","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-04T22:22:12.985747Z","title":"arXiv preprint arXiv:2506.07972 (2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:12.985747Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:82deb2ba475a5538a36aec6e86f2a0aec83cf8187a83ad6d5bd1a66e62ea7848","observation_id":"f40c4402-e9e1-49cb-9c8c-075294204d33","resolution":{"observed_at":"2026-08-04T22:22:12.985747Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2304.13187","last_updated":"2023-04-25T22:59:01Z","snapshot_observed_at":"2026-08-13T11:55:06.646971Z","submitted_at":"2023-04-25T22:59:01Z","title":"AI-assisted coding: Experiments with GPT-4","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2304.13187","snapshot_observed_at":"2026-08-04T22:22:13.140092Z","title":"arXiv preprint arXiv:2304.13187 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:13.140092Z"},"links":{"cited_paper":"/paper/2304.13187","citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:892f0a5c10091704599358297b4efd0a78d63593538ea159c86b19871b0e5d2d","observation_id":"805e23a4-45f0-4a60-93fb-a88278d48802","resolution":{"observed_at":"2026-08-04T22:22:13.140092Z","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-04T22:22:13.232314Z","title":"Claude-3 Model Card1(1), 4 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:13.232314Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:3ec2cc1ae1854e02d6abcf6b637d6a8d348c96df860842251bda810659ffcd9d","observation_id":"5397bdfa-73a3-48c6-9930-2ed41941fd59","resolution":{"observed_at":"2026-08-04T22:22:13.232314Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:18.168635Z","title":"Advances in Neural Information Processing Systems37, 44678–44709 (2024)","venue":null,"work_id":"735d12c8-58d7-48d9-96ea-b81191c3daf8","year":2024},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:13.299841Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:5e6d0dbfb44e5f8119f224f6a129236ea347aef824cd20def54252ec45f27a78","observation_id":"4a1b5972-0631-4094-8154-bee21059b003","resolution":{"observed_at":"2026-08-04T22:22:18.294669Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.18400","last_updated":"2025-03-20T16:37:17Z","snapshot_observed_at":"2026-08-13T00:19:49.230909Z","submitted_at":"2024-04-29T03:30:06Z","title":"LLM-SR: Scientific Equation Discovery via Programming with Large Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.18400","snapshot_observed_at":"2026-08-04T22:22:13.371868Z","title":"arXiv preprint arXiv:2404.18400 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:13.371868Z"},"links":{"cited_paper":"/paper/2404.18400","citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:760487d6d214f247bdb779aa970bed8f2b790fca2718c550e2abdcb233f52645","observation_id":"7db704fa-c070-4824-9953-fd4bfb1f4bdd","resolution":{"observed_at":"2026-08-04T22:22:13.371868Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:17.738019Z","title":"Nature625(7995), 468–475 (2024) 21","venue":null,"work_id":"59587fd7-f954-4d73-8491-bea9ea620b28","year":2024},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:13.434229Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:4ca0ffcc0abd001f599799eb77f4001f9e74d3dd274c087e93660544485dbaef","observation_id":"bc6eb734-836b-4062-9b6b-82fcad21a2ff","resolution":{"observed_at":"2026-08-04T22:22:17.880096Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2507.22876","last_updated":"2026-06-06T04:54:11Z","snapshot_observed_at":"2026-08-11T03:45:31.243486Z","submitted_at":"2025-07-30T17:52:25Z","title":"Discovering heuristics in a complex SAT solver with large language models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2507.22876","snapshot_observed_at":"2026-08-04T22:22:13.491459Z","title":"arXiv preprint arXiv:2507.22876 (2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:13.491459Z"},"links":{"cited_paper":"/paper/2507.22876","citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:bc743da992839cbfc05edff7269fd8933b88aa3f3516ce535c4fe434f6fdd7e1","observation_id":"82e8132f-451a-48f9-924b-ff658e0f3c12","resolution":{"observed_at":"2026-08-04T22:22:13.491459Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:17.635402Z","title":"🔍 Checking rule compliance for $SOLVER","venue":null,"work_id":"0af15134-191b-4515-970b-0328a65f00b0","year":2016},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:13.592905Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:7fc2c85fe01c981667004f05f5a98740cf76190c879a60e81a26145d4555cdc8","observation_id":"f40ebd6d-44ee-48df-b293-1cf5c25578f0","resolution":{"observed_at":"2026-08-04T22:22:17.711275Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:17.490323Z","title":"What should I check before starting SATLUTION_28?","venue":null,"work_id":"1c0c6d00-0f19-4f8a-87fe-b963a583ed98","year":null},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:13.688938Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:be4017cefca146fbca52cee5ff100106016d6ba8821042190b87833a081cf1c9","observation_id":"021253d0-50ea-4020-8489-d5dc5b1e007c","resolution":{"observed_at":"2026-08-04T22:22:17.551970Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:17.315413Z","title":"Can I use malloc() in my new solver?","venue":null,"work_id":"20376aef-bcd2-47bd-8248-4b15203a71da","year":null},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:13.768314Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:045bdfeb561325a9480af858466175fc610f7f29ab9e533b0e311dab32c928dc","observation_id":"d2c6a04c-ce4e-40a1-91bc-25dfefdda900","resolution":{"observed_at":"2026-08-04T22:22:17.391732Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:17.211537Z","title":"What documentation do I need for SATLUTION_28?","venue":null,"work_id":"22e86bd1-b411-49ee-b9df-30cc03b6ad3f","year":null},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:13.857620Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:e67f81052eaafdbaca65e877b5bb4808868aef08a70ad6c02a9121691f00d879","observation_id":"f221405c-c138-4b56-984c-248abff2bfa4","resolution":{"observed_at":"2026-08-04T22:22:17.264157Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:17.069508Z","title":null,"venue":null,"work_id":"8d275590-8a85-4395-8708-618eb141d514","year":null},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:13.924743Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:68e2489d1d5c5dbb8d674a2a2a55d40f91af70f98fbdb62bf377daca47aa6833","observation_id":"bdd6f5db-2440-4064-b04a-486416bf6464","resolution":{"observed_at":"2026-08-04T22:22:17.147247Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:16.856694Z","title":null,"venue":null,"work_id":"97025c35-03e1-4c0b-82aa-af33019e0e5c","year":null},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:14.023994Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:734aee58869f35c38784895b76f7e1575f633238f86ed6cec8a5bc90c1f7c099","observation_id":"6f0f81f9-a046-463f-91d5-b9c0db679be9","resolution":{"observed_at":"2026-08-04T22:22:16.905130Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:16.706221Z","title":null,"venue":null,"work_id":"c0a215ad-f381-4e33-9ba5-48ea57c17cc1","year":null},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:14.098880Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:104c8fc37afeef656ecafe6ef722192edb27dfdc9b931eb001b055f655bc90a2","observation_id":"27c464a5-6ec2-4ff3-a5af-fae9ee543559","resolution":{"observed_at":"2026-08-04T22:22:16.798958Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:16.548738Z","title":null,"venue":null,"work_id":"cb609150-8a7d-46fa-8e20-998a3700a18a","year":null},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:14.154216Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:3b6c46ca9abe1aeef514756f8a3182559f96b82d832d8002891902e89d42944b","observation_id":"8578457c-4dbf-4926-ad71-7a0b20fcfa7b","resolution":{"observed_at":"2026-08-04T22:22:16.611761Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:16.393912Z","title":"cursor/log/cycle_${CYCLE}_rule_analysis.md","venue":null,"work_id":"9576abf9-e247-44d8-b7a1-9ca9c9d7c3c7","year":null},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:14.235886Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:3cb26e2f7e0e5aac37d712817c64b1e4dd2bdd5241e42cb94adad97fc97a5004","observation_id":"d481e0c2-4ccb-4c42-b8c2-c3b4ac327045","resolution":{"observed_at":"2026-08-04T22:22:16.480739Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:16.278453Z","title":null,"venue":null,"work_id":"6d12035d-0661-4241-9e0d-fc08c9c168ea","year":null},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:14.300915Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:b65dd22945053c5858d2128450c5d54ad84d84f74b138845b4c5ae4045cbcfce","observation_id":"b45bb3a6-9b7e-480e-8bd6-b63bbfc79ce5","resolution":{"observed_at":"2026-08-04T22:22:16.325768Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:16.153313Z","title":null,"venue":null,"work_id":"c6f05b70-1ec5-4f2d-bfb3-c0962cc594b4","year":null},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:14.350849Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:b52ec747b31036454f3e1e1274e6084bf013fc63428c4b150731921532b2663b","observation_id":"90fdb475-515a-4b1f-81dd-bdc7d77cccc2","resolution":{"observed_at":"2026-08-04T22:22:16.216300Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:16.047161Z","title":null,"venue":null,"work_id":"42ffc66f-3096-4ec0-85ca-bc7048edc761","year":null},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:14.446579Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:41d5deb1a4c1db1e75ad73fb745aa962d1204e01a730debc723713f2dc0af805","observation_id":"f7b23a50-6d02-405b-89d2-18578c66279d","resolution":{"observed_at":"2026-08-04T22:22:16.095833Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:15.887389Z","title":null,"venue":null,"work_id":"3f2b04b7-8c82-4337-baff-7860a9d4a515","year":null},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:14.525149Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:ac07dac75b4e7a62e10a2480496f80542b184cc83625fc0aefb951b80b191714","observation_id":"82e991cd-60e4-4c41-b0c6-f6bd803b9b82","resolution":{"observed_at":"2026-08-04T22:22:15.966380Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:15.709054Z","title":"$CURRENT_VERSION","venue":null,"work_id":"b1d1e1b0-7905-4909-ab1c-61ae0912374f","year":null},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:14.592350Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:b6592c381f257ea507ef9e6eba6ae534eaf4dd0a2594cf8392cac055650ff54f","observation_id":"f14f1482-271d-4383-bcd7-2836a0026b73","resolution":{"observed_at":"2026-08-04T22:22:15.812541Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:15.520316Z","title":null,"venue":null,"work_id":"8a4dd7d5-8c2b-43df-81f4-990186fc864a","year":null},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:14.653337Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:016387ce2e24ec81607bdee40702416d39e11a99d52dddb6319770816ba0b135","observation_id":"2d521135-be26-42ce-8c1f-5db3a4b76bd3","resolution":{"observed_at":"2026-08-04T22:22:15.616723Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:15.376629Z","title":null,"venue":null,"work_id":"5b23e25a-c122-4299-82bd-5ebe23821afe","year":null},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:14.711470Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:2bb2b5364f60467371fb9c40db55d41df8008ac36de2b5d16c5ab9ace61400ff","observation_id":"b6da47c7-920f-477a-b395-1a25bf637340","resolution":{"observed_at":"2026-08-04T22:22:15.427655Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:15.232837Z","title":null,"venue":null,"work_id":"e9ca3f2b-5cb0-453e-b610-0ebcb4c05947","year":null},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:14.806329Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:67e4edf77e76ee18a36dbc81bb6cae9b2be1a714457e49b96a297bd1de3c3296","observation_id":"828e4753-aa2e-4d6d-a562-efa35be0b157","resolution":{"observed_at":"2026-08-04T22:22:15.276045Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:15.039281Z","title":null,"venue":null,"work_id":"cd3c80cb-eeb7-4179-aafb-0e74fbf73570","year":null},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:14.853355Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:7bfe19e9b1a58ddcae9198a635fc5c37698aad2b7532ef0ecdf51779d4246796","observation_id":"c16dca6e-64d3-4175-af9c-c8fabcbf4685","resolution":{"observed_at":"2026-08-04T22:22:15.094265Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:22:19.187090Z","title":null,"venue":null,"work_id":"b295e8f7-356e-4fd6-ae00-ac78685c1626","year":2013},"citing_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"reference_index":2013,"source":"pdf_text","source_observed_at":"2026-08-04T22:22:10.935759Z"},"links":{"citing_paper":"/paper/2509.07367"},"observation_digest":"sha256:7ec2f2b86ebf6212bc703c8af3b0c2ead8a69293b1de3ff3e236b73ac0417ca6","observation_id":"42412fc2-82cd-45cc-8674-fe382b5a7e1a","resolution":{"observed_at":"2026-08-04T22:22:19.190921Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-08T12:12:24.053049Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness"},"reference_resolution":{"displayed":51,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":22,"verified_exact":0,"verified_fuzzy":29},"total_outbound_references":51},"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-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 51 of 51 outbound references and 12 inbound Pith citation observations for arXiv:2509.07367."}