{"as_of":"2026-08-07T19:13:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:1bcab9f8b54a13df3c699f45bb93d1578262cc3356dc529ffe2976da0ba7000c","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-07T06:34:17.273281+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-07T10:55:32.705883Z","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:930f4848ba72c40fb469158f75bfa2df3b45b46f05b5b5eb2a3761fbce30495a","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-07T10:55:32.705883Z","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-07-06T22:50:46.243903Z","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:1e1dc14ab1aa671c0453f836986e3927abbdcbe69795a7057ab01b9ae54ad6db","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:321fae6186b624257687791bb9d3623355e86814428816f0707a1c6096137385","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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-07-06T02:11:23.670680Z","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:3ffab8c0bbcdb0a9a0fcac2fe9929220df5608cbb45e3e62e983a6433abd94e0","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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-03T17:26:42.961642Z","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:65bf6347824ef04d5134cafc6d405b64a63f16e097e3b9fade9e9e151c06d861","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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-06T07:03:19.120654Z","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:9ecb04ba38f91079392b3ea6031b89298f045d893b80299278e3d2fbbeecb60a","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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-02T15:49:28.691819Z","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:a39c1bfd522243111530e34e75fc605a416aaceaeb50e1aacec32b82cbd2df31","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:e4482b5faea94fb3ee1c69ec68a4de8ceea36f9ef31ee4f14b5343e77c4246eb","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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-07-30T15:56:35.880037Z","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:d563f97e144b10b284a28823864aecf4b7425c91c17dd2f3d4f7cdc6048f6b78","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:a8944b69e3ac1f4906da3fa95b1e07f5e2f3067ff32a6ff6a04fdf01c109fc54","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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-07T10:56:07.643098Z","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:14dc3bf0dd987ab86e9853e580bb04840e6e6415130267418f66f7c8d2590d03","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-07T10:55:32.705883Z","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-06T12:20:03.417191Z","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:2520a6608c7c1245184f80951e601c470356df4a6c5bc9a7c014da3fe64f13d3","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-07T04:21:43.190472Z","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-07T10:55:32.705883Z","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:b6b91cdc2552e0da0d6129c2a3f6ee354b6dbc36011eb98aa8ec94191c05d12f","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-07T10:55:32.705883Z","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:d66c2dc5ad0953ea1715fdfcfc9f3de6a67fccbb29bc807a5133a84a05d850b3","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:fcd5b0ced898c23f69a6857e3d7af911e1ffc00176f2d26cb9ecdb2c8d77c669","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:bc8baf278da8018d1c96108257fbafb380abbf7915fa008e3c2a0785d1069e0b","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:da7421e218fedb14340fb24cacfe75614a4b5afcf7c2f79f676e8b66d3c692fb","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:8483536f6e310dcb8426d42736d20dd11737f5f287359edc407e3d7facf25c06","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:01ea8cfd58696089b50ad4ae3a244603a78a643352877d336fd630e8ff07aec7","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:babcbd3bf49586ab78c23094fe99b6b2817c3a4e99fde18222a37fddf0642d15","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:ca0321198cb38070ee151d6dac6f387f11251543fa0a8bfc141ac3bbc3d49897","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:e0422e562abf40b0943e17b789628d10c26dcfddc574b7895a31536457a732d8","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:43fdd94203058edcb7a1a9fdee95aa09956db86ffb74241708c432a5c3ea702c","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:c102f03381a0d2db469a08a154cb96ca505d28e7364405f8015adbc7d10c5a7f","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:996a7d667e1b50fb2993f26b7451e816bb73a5853c245f630f8175e464703b42","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:3a3addfd3cbf9b5117c75f99fa83fcb14968fa50616b8f3e0ebf65f8667b5764","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:b9ed8f37d73d91f350c6a8d50e26563ed391db0297eed4f417c5c66d6a11ad8e","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:714ddc669071f0f51df630d9a511324a77127d1e33cc75ddacd6a5a0732f9b76","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:1cc02d1dc3b2a55e00050a24079db23b810a5da2d6b764d574a87f8763870e80","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:8ec802b3b6cfd5a0f6ae44c46fc236febd9690aea1db1fa3338d37f1635a10e7","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:222812a26832d27a47acba07069b445c93f8dfeb878ce317ecdf95a3233e93ee","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:035f88873e1d04206cf54b56fdc72092ccb17efe3e69e766e976acc87a8ed224","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:02be25d4359af59ddb3d8eb8847ea9c1bf0216fb829021d89ad9b3faedee7ee7","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:da70be298b6101c2d6b7ae69e261e509a412473e76b1811063c5da16719614b4","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:cc100ed6dd19cb5bfbb89799461a54d9d361c6dac5131b476a6551ced1724cdf","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:132d6a42767d1267b17649e895b7563313a978280b51011c507ac791daadb30d","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:c19553c794c7e529a4d4aeff6bc5e4369ee70f3b9950e1286a86887e528cf9ad","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-07T10:55:32.705883Z","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:8364331f41efb438e07d5ba3c61a6d095a55609c4d034ceed77e93420b4a3f57","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-07-06T15:20:01.683152Z","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-07T10:55:32.705883Z","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:e36511d963942bf67e769db1861e48754e5a5a4fddb7be450a557a0535b911bb","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-07T10:55:32.705883Z","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:b746731eea176b8acaedd17ef09b9397843c55058d7c6dd7818069ddb60fcbcd","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-07T10:55:32.705883Z","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:afb3d254e87ce40b56ba64976f0d7ea59f9785c46b3750e428e32b9df7c4aa79","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07-06T18:06:49.190172Z","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-07T10:55:32.705883Z","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:6326caa49ec749fd997d128ae8f737856ccdcb0939593757402516d511d6e19f","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-07T10:55:32.705883Z","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:623cc4ffa3992aff052d37f50e13f6b10a7fdc95b24bfaf3abc6ea7345a08b73","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T11:18:46.669531Z","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-07T10:55:32.705883Z","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:a3df9a9a05302f5aca3dca044e298086f9cc4b7d0de7d01ff48a08be48a6685d","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-07T10:55:32.705883Z","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:eb639dbe7055d99542ca70dc84b7f9e762e84d01b455bad1d0572a8330cafec5","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:5fa497158a4d5ae3b4881d44f14007549808c7c4acb204de2002a9e411589d2f","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:fe872d1edeef56a8e124c552ef70393ce13ac1e30977f6efc25143b720f88561","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:2650d151b87d8f3a3c90a116a70f40aa260f2a48ead49a2e339b2834466d2d0f","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:400a30d53c9978628c6c74a3d93138906f161062cbe5b8fa5ac6fd4f1104c4d3","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:747404bf733986d1b01b4cad624d13e26074a344150d31e21bd1e63c7a45abd8","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:6168b93444750f289ca17873865d6d78e08eb7dbef6dd6980e3752d3752ca26e","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:9c3b9803d2f0a470d83ff51c376f6cc4c1deafd04f3516d2d0141af25bece91f","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:c70c81e476730d01719baecb37eb7e7c5a3929b24d6a086473dd307f81ec10e3","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:a3d03e97059a3f239fd40cf0bba385705b79c227e2e133021f4a8db1bc69b755","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:46ab9af8c715673070ce052490d5f165f2be78e2f5b5f6250a6bef366f6ebb8d","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:7d9548e628b0d8d6bd39ad3fd0a96d2bb408ea1cf8817c0439aacaaaa929f1f6","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:3d5a95c863bd21e8bef137e63bf85b79ace6d6392132b294904ce5adf875bd5f","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:405c197384b9fc6b4f6a4daaff0f5c7895e314319481f4a49e7d65a25c8c14a9","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:cd3e8246253db1986a47ea9ff9fb95ebc38705a6ae686e80e481ab4492598c61","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:aca1046d0fec19da07cf0574f5ccda11b2d439cc68800b1305c1121ee2ade019","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:20420a515315b6b44a1871e66463374b813fe200ff48bb84908d547f186d5557","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:f03b831ec129ef7ffd55f0fa40be360bff749bd69f472ebe737c13c944571141","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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:95a883f9c35ea43418a9be127c780690ac3513e236ff2edfd3f49747b756581f","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:55:32.705883Z","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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 51 of 51 outbound references and 12 inbound Pith citation observations for arXiv:2509.07367."}