{"as_of":"2026-08-05T01:01:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7149b257f66869681999f90b6e06bb0412d00ba07b0578096cee17c58b30b6d1","coverage":[{"denominator":72,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":72,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T06:17:30.984191Z","state":"measured"},{"denominator":78,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":78,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-04T06:34:03.388597+00:00","state":"measured"},{"denominator":6,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":6,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T07:50:04.689325Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-07-04T14:19:53.592564Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"cited_work":{"arxiv_id":"2602.07666","doi":null,"metadata_source":"pith","pith_arxiv_id":"2602.07666","snapshot_observed_at":"2026-07-04T14:19:53.592564Z","title":"Lee, Joshua Wang, Michael Pelican, David J","venue":"cs.CR","work_id":"c8ec2453-2330-4673-9fa0-fab09d76d4e7","year":2026},"citing_paper":{"arxiv_id":"2605.12563","last_updated":"2026-05-12T03:57:35Z","snapshot_observed_at":"2026-08-02T09:53:15.800159Z","submitted_at":"2026-05-12T03:57:35Z","title":"OverrideFuzz: Semantic-Aware Grammar Fuzzing for Script-Runtime Vulnerabilities","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-14T21:00:11.407268Z"},"links":{"cited_paper":"/paper/2602.07666","citing_paper":"/paper/2605.12563"},"observation_digest":"sha256:369339724ed05da42d744cf6d8c5f2ff12fa74fa3be55f386cbc19e7f672220d","observation_id":"da42ca45-30b0-451b-9bd7-8875e4332c66","resolution":{"observed_at":"2026-05-26T03:04:11.335469Z","resolver_source":"arxiv_id","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"cited_work":{"arxiv_id":"2602.07666","doi":null,"metadata_source":"pith","pith_arxiv_id":"2602.07666","snapshot_observed_at":"2026-07-04T14:19:53.592564Z","title":"Lee, Joshua Wang, Michael Pelican, David J","venue":"cs.CR","work_id":"c8ec2453-2330-4673-9fa0-fab09d76d4e7","year":2026},"citing_paper":{"arxiv_id":"2605.21824","last_updated":"2026-05-20T23:48:26Z","snapshot_observed_at":"2026-08-02T23:24:17.736922Z","submitted_at":"2026-05-20T23:48:26Z","title":"Quality-Assured Fuzz Harness Generation via the Four Principles Framework","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-05-22T08:18:29.016581Z"},"links":{"cited_paper":"/paper/2602.07666","citing_paper":"/paper/2605.21824"},"observation_digest":"sha256:21a61ccd54c3941a0f361cd848259937d51aa8290bc8598e19c3c74a9e66b42f","observation_id":"aa3db2c4-dae5-42a1-9580-83edd374e3c7","resolution":{"observed_at":"2026-05-26T03:04:11.335469Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"cited_work":{"arxiv_id":"2602.07666","doi":null,"metadata_source":"pith","pith_arxiv_id":"2602.07666","snapshot_observed_at":"2026-07-04T14:19:53.592564Z","title":"Lee, Joshua Wang, Michael Pelican, David J","venue":"cs.CR","work_id":"c8ec2453-2330-4673-9fa0-fab09d76d4e7","year":2026},"citing_paper":{"arxiv_id":"2606.22263","last_updated":"2026-06-20T23:17:23Z","snapshot_observed_at":"2026-07-31T05:51:44.127424Z","submitted_at":"2026-06-20T23:17:23Z","title":"Revelio: Cost-Efficient Agentic Memory Safety Vulnerability Detection For Repository-Scale Codebases","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-06-26T11:28:39.788807Z"},"links":{"cited_paper":"/paper/2602.07666","citing_paper":"/paper/2606.22263"},"observation_digest":"sha256:3a91244c8021b8cde81b12206d05605df3811b201b82ce1ae2daec68217ba750","observation_id":"236e4ed4-5461-41bc-85c8-6d8302e690ba","resolution":{"observed_at":"2026-07-04T08:29:42.465023Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"cited_work":{"arxiv_id":"2602.07666","doi":null,"metadata_source":"pith","pith_arxiv_id":"2602.07666","snapshot_observed_at":"2026-07-04T14:19:53.592564Z","title":"Lee, Joshua Wang, Michael Pelican, David J","venue":"cs.CR","work_id":"c8ec2453-2330-4673-9fa0-fab09d76d4e7","year":2026},"citing_paper":{"arxiv_id":"2606.26933","last_updated":"2026-06-25T12:08:07Z","snapshot_observed_at":"2026-08-02T06:32:25.442229Z","submitted_at":"2026-06-25T12:08:07Z","title":"Chai: Agentic Discovery of Cryptographic Misuse Vulnerabilities","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-26T04:20:23.579294Z"},"links":{"cited_paper":"/paper/2602.07666","citing_paper":"/paper/2606.26933"},"observation_digest":"sha256:8ada111a6871af849d15d1d53db703724dd17bf893347eaec826734d9ac5c165","observation_id":"77424306-beb0-4cf1-9c72-4c773aa6900b","resolution":{"observed_at":"2026-07-04T14:19:53.594032Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2602.07666","snapshot_observed_at":"2026-07-13T05:34:48.774019Z","title":"Lee, Joshua Wang, Michael Pelican, David J","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.08949","last_updated":"2026-07-14T22:39:36Z","snapshot_observed_at":"2026-08-03T20:28:05.061049Z","submitted_at":"2026-07-09T21:19:25Z","title":"SeedSmith: LLM-Driven Seed Synthesis for Directed Fuzzing","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-07-13T05:34:48.774019Z"},"links":{"cited_paper":"/paper/2602.07666","citing_paper":"/paper/2607.08949"},"observation_digest":"sha256:cbc9d77b6138b093c78fc160b3d5e535e4315a76e1f1bc2dd75fed2a3e25c693","observation_id":"646a5531-e430-4386-b5ee-99db1698e461","resolution":{"observed_at":"2026-07-13T05:34:48.774019Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2602.07666","snapshot_observed_at":"2026-08-02T07:50:04.689325Z","title":"Lee, Joshua Wang, Michael Pelican, David J","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.08949","last_updated":"2026-07-14T22:39:36Z","snapshot_observed_at":"2026-08-03T20:28:05.061049Z","submitted_at":"2026-07-09T21:19:25Z","title":"SeedSmith: LLM-Driven Seed Synthesis for Directed Fuzzing","version":2},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-02T07:50:04.689325Z"},"links":{"cited_paper":"/paper/2602.07666","citing_paper":"/paper/2607.08949"},"observation_digest":"sha256:4b1dbb6ce1dddf23fae65bcd101394b5cf5d72a3791c5e9d24ba48c95439ed95","observation_id":"125fa08f-65f3-4827-8acc-5a42dca71e3a","resolution":{"observed_at":"2026-08-02T07:50:04.689325Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2602.07666/citation-record","integrity":"/paper/2602.07666/integrity","json":"/paper/2602.07666/citation-record.json","paper":"/paper/2602.07666"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T06:17:22.513964Z","title":"GigE Vision standard","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:22.513964Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:c3a661bae020d84abd41c50ee4147d4dc8dfd228aa7186e205881a5ceccb93c2","observation_id":"728a9a8d-a243-46cf-a5a1-cc2b17d0c5df","resolution":{"observed_at":"2026-08-04T06:17:22.513964Z","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-04T06:17:22.569055Z","title":"Claude Code: An agentic coding tool that lives in your terminal, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:22.569055Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:8c35a0672dbece742dd21590ee6d157c4c7a724360b331510e28aced8b0accf5","observation_id":"6329c9f2-2ca4-4d5a-b934-c274daabf906","resolution":{"observed_at":"2026-08-04T06:17:22.569055Z","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-04T06:17:22.670509Z","title":"Apache Maven Project","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:22.670509Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:8189b621a26f8dff140558e5d98b791a65f72011596f073de2ab80e787b49513","observation_id":"477f8f54-60a6-4fb7-b5c7-8292dce28323","resolution":{"observed_at":"2026-08-04T06:17:22.670509Z","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-04T06:17:22.833721Z","title":"OSS-Fuzz","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:22.833721Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:c550425c5be78ccb3a82c193961d1107b6c6318e0f1463a779f7ded6418031a3","observation_id":"6e023ee2-4cb9-4211-a595-10750a1e5905","resolution":{"observed_at":"2026-08-04T06:17:22.833721Z","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-04T06:17:22.978452Z","title":"Nautilus: Fishing for deep bugs with grammars","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:22.978452Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:ef983b3fa5efdd94126b822cb1eb06ba2ef7f1e1247cd923e38805582363a626","observation_id":"bfc35a06-b2db-428d-a0d5-437b37eeb6f0","resolution":{"observed_at":"2026-08-04T06:17:22.978452Z","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-04T06:17:23.144059Z","title":"IJON: Exploring deep state spaces via fuzzing","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:23.144059Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:a6dd169f5a2ca54e2c8617a9be543ee841277aa056d7b606d79092f5fce64782","observation_id":"28816167-ef8e-442a-8fa1-57a01143f5d0","resolution":{"observed_at":"2026-08-04T06:17:23.144059Z","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-04T06:17:23.277464Z","title":"LiteLLM: Call 100+ LLM APIs in OpenAI format","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:23.277464Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:4a318224b80c97718ee7a4e879e1238d290353f48c343077a95326ee97eb1fd5","observation_id":"af6dc299-261f-42d7-964e-8cf4d5f5a1f2","resolution":{"observed_at":"2026-08-04T06:17:23.277464Z","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-04T06:17:23.394405Z","title":"AURORA: Statistical crash analysis for automated root cause explanation","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:23.394405Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:4db9f40ed64c222516027a3089134cc4b36e67d524db5ff129f4112108c9a68d","observation_id":"b311b06d-02e8-4174-9ad3-2a2dbc4d59fc","resolution":{"observed_at":"2026-08-04T06:17:23.394405Z","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-04T06:17:23.454767Z","title":"Directed Greybox Fuzzing","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:23.454767Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:44fb15fdda666421e286e7e1d97dff23986f0db501f1aa767c6c206877efcbac","observation_id":"6e7fb3a7-d76e-41f7-aaed-67bcd936c49b","resolution":{"observed_at":"2026-08-04T06:17:23.454767Z","resolver_source":null,"status":"malformed_identifier"},"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-04T06:17:23.549386Z","title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:23.549386Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:54f7909027748ec42b3562f7092d29466b05ac2edce4783e7426f51e94b3551c","observation_id":"cd80b8f2-f5c0-4182-be4e-e168ed8e873f","resolution":{"observed_at":"2026-08-04T06:17:23.549386Z","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-04T06:17:23.632724Z","title":"ccache: A fast C/C++ compiler cache","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:23.632724Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:3837ee8f37b7a7946b435b2ddd5805d2ed7c5c217285486a9647ddba1918cff2","observation_id":"2c905b5f-a8ca-41c9-af00-535d3ad28942","resolution":{"observed_at":"2026-08-04T06:17:23.632724Z","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-04T06:17:23.700316Z","title":"LangChain, 2022","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:23.700316Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:d417ea2c7682e36329d0e79291285cef88035e825643d94f48c67f9ce51eae73","observation_id":"b9903253-1e1a-4af8-a295-de962504192d","resolution":{"observed_at":"2026-08-04T06:17:23.700316Z","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-04T06:17:23.820980Z","title":"Enfuzz: Ensemble fuzzing with seed synchronization among diverse fuzzers","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:23.820980Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:1ac684d3fe14e9cfb8d4b5f0558fb1b2a5afe6a55cef60fb0a4118bf4fac2996","observation_id":"6e34734e-923f-44bf-9c9c-ead7eb175c68","resolution":{"observed_at":"2026-08-04T06:17:23.820980Z","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-04T06:17:23.947426Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:23.947426Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:c9152900c5d9958603693b0392d20dec54c3fa62708b76194a23852923d1d50b","observation_id":"9961e37b-9d61-4318-8e5e-da0362eadf5d","resolution":{"observed_at":"2026-08-04T06:17:23.947426Z","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-04T06:17:24.034512Z","title":"curl-fuzzer: Quality assurance testing for the curl project","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:24.034512Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:cf3dd6bd9063f9acd9d9276e0caa322887f673817a50994b5e9b2dabdc17b6e0","observation_id":"c5c3b10d-4d8d-4fa3-b934-d2be581f9a3a","resolution":{"observed_at":"2026-08-04T06:17:24.034512Z","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-04T06:17:24.175586Z","title":"ast-grep: A cli tool for code structural search, lint, and rewriting","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:24.175586Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:6c29933b15af1e61e3382f128b447ec1baf5fe7556fda78223bd00a26888f452","observation_id":"23e7c532-af82-4ccb-a156-5b32ef7da886","resolution":{"observed_at":"2026-08-04T06:17:24.175586Z","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-04T06:17:24.268077Z","title":"Cyber Grand Challenge, 2016","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:24.268077Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:f9867d23a73ec47dab552b99fe938c7ae29b799627403cce891ac14f0c7a2145","observation_id":"f9c0b12f-6b21-4c44-9ef1-79dfaa7708be","resolution":{"observed_at":"2026-08-04T06:17:24.268077Z","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-04T06:17:24.370640Z","title":"AIxCC Semifinal Competition, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:24.370640Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:48ac871a5f3a6428d922e2c003b2fbe3cba8510399f939f03d720e4ecf611cfc","observation_id":"4409ef08-67e0-496e-a25f-973e96da1303","resolution":{"observed_at":"2026-08-04T06:17:24.370640Z","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-04T06:17:24.466063Z","title":"AI Cyber Challenge (AIxCC), 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:24.466063Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:57ed741cb8e285c133b42088aba169d4dd76c2d4d19274ef6d13685ebb1ca1e6","observation_id":"5e117abf-1b9b-4447-91fb-169923751674","resolution":{"observed_at":"2026-08-04T06:17:24.466063Z","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-04T06:17:24.599235Z","title":"AIxCC Archive, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:24.599235Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:75a6b49b6af0d53acb6e602206032d1601a39e74f60c530f170ddb7369dbd7ba","observation_id":"9111f488-e574-403e-96d5-ae0b861d1ab2","resolution":{"observed_at":"2026-08-04T06:17:24.599235Z","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-04T06:17:24.757662Z","title":"JaCoCo: Java code coverage library","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:24.757662Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:aeceb52cb602b49dde6aca26a6bada015e748cf9acf1391787bef98b6a81ea78","observation_id":"6d41f41e-f1a6-423f-a357-f2dc5eb91b6c","resolution":{"observed_at":"2026-08-04T06:17:24.757662Z","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-04T06:17:24.886636Z","title":"AFL++: Combining incremental steps of fuzzing research","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:24.886636Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:7abb37ec26d2fcbb5d7dadd6102be3011f9ff39560667573d3cc971962b768ee","observation_id":"df6fb1e6-0304-4883-8d0b-2bda1cacc36c","resolution":{"observed_at":"2026-08-04T06:17:24.886636Z","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-04T06:17:25.042961Z","title":"LibAFL: A Framework to Build Modular and Reusable Fuzzers","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:25.042961Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:b6a2d242fc131ba8ea6f7ca9024a25fd1e5d211651fc039868825b0144838d60","observation_id":"636a9c14-bd07-4ab8-acb5-dfb86e7d8677","resolution":{"observed_at":"2026-08-04T06:17:25.042961Z","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-04T06:17:25.234272Z","title":"GDB: The GNU project debugger","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:25.234272Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:ec672355ed52303502f01a5a545827668e0a8a89a2681eb4b20ceda7fb1cdc09","observation_id":"aff1eb8c-03c1-4453-93d6-6c8ffdab6cd9","resolution":{"observed_at":"2026-08-04T06:17:25.234272Z","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-04T06:17:25.333265Z","title":"autofz: Automated Fuzzer Composition at Runtime","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:25.333265Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:71c424b0a96ab9d1a11d7aee863cbc8d7f289e8011ad858ff224500b74420868","observation_id":"8c7669aa-c070-45ea-b04c-b67a4dae3734","resolution":{"observed_at":"2026-08-04T06:17:25.333265Z","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-04T06:17:25.393892Z","title":"Aider: AI pair programming in your terminal, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:25.393892Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:74f049bb8b2ce51704471f5daf6cd9f3a81cec653e1a726475ad434f8dacafd2","observation_id":"5ad6b8cf-b407-47fd-9381-25060c960ea9","resolution":{"observed_at":"2026-08-04T06:17:25.393892Z","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-04T06:17:25.539959Z","title":"CodeQL: The libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:25.539959Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:618dd0bf24c067d1b7610a6e90dfc6f968eb41d0a71d28a2b2ef16022eb723bd","observation_id":"c458e12f-3d1e-4eaf-8715-234066e29a2b","resolution":{"observed_at":"2026-08-04T06:17:25.539959Z","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-04T06:17:25.723489Z","title":"SARIF support for code scanning, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:25.723489Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:c618bad2fb309013d251f7c72f340093b5ea92457e70ef27318155dae1f55f40","observation_id":"8c281197-2114-40ae-ab3c-5d3a41c0d6bb","resolution":{"observed_at":"2026-08-04T06:17:25.723489Z","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-04T06:17:25.901255Z","title":"Clusterfuzz: Scalable fuzzing infrastructure","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:25.901255Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:9b52ee7dc21c3d36a3d5fdd4cba95e200b53a9143f1cbca9e7ce9fd1c24ab82d","observation_id":"4871d9f6-0c8c-4fe0-a721-1b9a3fd70fb2","resolution":{"observed_at":"2026-08-04T06:17:25.901255Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.15594","last_updated":"2025-10-19T10:32:43Z","snapshot_observed_at":"2026-08-02T10:23:50.881300Z","submitted_at":"2024-11-23T16:03:35Z","title":"A Survey on LLM-as-a-Judge","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.15594","snapshot_observed_at":"2026-08-04T06:17:26.043845Z","title":"A survey on llm-as-a-judge.arXiv preprint arXiv:2411.15594, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:26.043845Z"},"links":{"cited_paper":"/paper/2411.15594","citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:1e2593757a769e8f41605ac3b2ee0475188be6f098b871374e71b4679a998433","observation_id":"41513ebb-3306-4871-9035-b7c1d99b48be","resolution":{"observed_at":"2026-08-04T06:17:26.043845Z","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-04T06:17:26.170499Z","title":"Vibe Coding, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:26.170499Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:b9c233b37d2141215619b75637cac7d66116b225f7a1da5714f90361a29f7221","observation_id":"a92cb718-cadb-4fec-98f0-e2ca673fb241","resolution":{"observed_at":"2026-08-04T06:17:26.170499Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2601.17471","last_updated":"2026-07-16T01:24:54Z","snapshot_observed_at":"2026-08-04T19:29:03.001017Z","submitted_at":"2026-01-24T14:19:10Z","title":"PatchIsland: Orchestration of LLM Agents for Continuous Vulnerability Repair","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2601.17471","snapshot_observed_at":"2026-08-04T06:17:26.374822Z","title":"Patchisland: Orchestration of llm agents for continuous vulnerability repair, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:26.374822Z"},"links":{"cited_paper":"/paper/2601.17471","citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:0c5139d882f0cd0624e89b619166909198a7e478f8b5ad07373c2d0deb9dcbf0","observation_id":"77770dec-e0c8-45fa-996a-3b9bf2472dd8","resolution":{"observed_at":"2026-08-04T06:17:26.374822Z","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-04T06:17:26.581025Z","title":"Logs in, patches out: Automated vulnerability repair via {Tree-of- Thought}{LLM} analysis","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:26.581025Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:ef19664a183bfd61bc97e1f9254ed4bd1a15b5927133b5ba38a736eecf106e21","observation_id":"dc4cb7e6-7cb6-469f-a2fb-0d077a9ef39a","resolution":{"observed_at":"2026-08-04T06:17:26.581025Z","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-04T06:17:26.726168Z","title":"LangGraph: Build resilient language agents as graphs,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:26.726168Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:49037a9a1dcde0c87d67f372f6256118d68db10d4d507367d7e0ced962431110","observation_id":"1694ce3f-a9e0-4eae-b053-b0af4f241929","resolution":{"observed_at":"2026-08-04T06:17:26.726168Z","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-04T06:17:26.983678Z","title":"LLVM: A compilation framework for lifelong program analysis and transformation","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:26.983678Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:a8b1d4d6fce0a3f03f6bc893c79602a09e4f1846ef8f993319a457bbcc0c6c18","observation_id":"4e580576-730d-4bde-8890-c11a96e1fe1a","resolution":{"observed_at":"2026-08-04T06:17:26.983678Z","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-04T06:17:27.158930Z","title":"VULCANBOOST: Boosting ReDoS Fixes through Symbolic Representation and Feature Normalization","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:27.158930Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:f71fa491281d00f4a09d1b4750d5ba7e448f0bd2abcf95bf32c275df99915e54","observation_id":"e7d2c97b-c885-4c37-8974-af6bfc8f6897","resolution":{"observed_at":"2026-08-04T06:17:27.158930Z","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-04T06:17:27.294682Z","title":"UndefinedBehaviorSanitizer, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:27.294682Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:69e3e32f121447ed52ce042d1a236cff95259a273132943f3f4f113059ae8606","observation_id":"efe40cfa-3449-4bec-a922-37d8c10a6f21","resolution":{"observed_at":"2026-08-04T06:17:27.294682Z","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-04T06:17:27.442820Z","title":"FuzzedDataProvider: A helper class for fuzz targets","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:27.442820Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:c2925dbe7e6bc2232c3d116f9a7d3baff68f58d41a4bc177b592d7bc38dcaffc","observation_id":"c1defd10-f3df-42bd-859d-769050f73a25","resolution":{"observed_at":"2026-08-04T06:17:27.442820Z","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-04T06:17:27.561736Z","title":"Infer: A static analyzer for Java, C, C++, and Objective-C,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:27.561736Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:b941d5a8d05a5ce93bdbb298a8668949f327835cc26d933c0753fb4c8d6872f5","observation_id":"4029efbc-3919-4ad4-9ce5-74378ba0969f","resolution":{"observed_at":"2026-08-04T06:17:27.561736Z","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-04T06:17:27.858364Z","title":"Language Server Protocol specification","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:27.858364Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:0fccd022022dfae2fbfbdec0849f1433b9cb084484b69a318bd9913cfe42e02b","observation_id":"d1fe552c-143c-4c37-91d1-45d4a2def910","resolution":{"observed_at":"2026-08-04T06:17:27.858364Z","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-04T06:17:27.978913Z","title":"Common Weakness Enumeration (CWE)","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:27.978913Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:a892ab17702a0a1d045fc60616b4762961e56fc117b2b0e44a4929d4e2b5c521","observation_id":"d7537a7d-d486-48d2-9c2d-acf30a1febb7","resolution":{"observed_at":"2026-08-04T06:17:27.978913Z","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-04T06:17:28.169487Z","title":"Fuzzbomb: Fully-autonomous detection and repair of cyber vulnerabilities.International Journal on Advances in Security, 9(3-4), 2016","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:28.169487Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:4fc93359a132e89e0bf2362887fac8abd4f593d8dd33ecc2eedcb8bb5e178685","observation_id":"69de43a2-c664-472f-96f9-25d6d8cee534","resolution":{"observed_at":"2026-08-04T06:17:28.169487Z","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-04T06:17:28.241445Z","title":"Musliner, Scott E","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:28.241445Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:fadf13b38e27dd678c1fe4a0e8b23da71950cdfcb4a2ad1d4e5e7b8b3e174c2d","observation_id":"7748b945-3611-4d85-9ca9-cf7437ea37c7","resolution":{"observed_at":"2026-08-04T06:17:28.241445Z","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-04T06:17:28.393868Z","title":"Musliner, Michael J","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:28.393868Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:92bc37320a6b143f9162b137f5066bcd37877c79083f4a46b7e401365230d6f9","observation_id":"4f242fb2-8ad1-4859-868c-4bf65a0e9932","resolution":{"observed_at":"2026-08-04T06:17:28.393868Z","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-04T06:17:28.468502Z","title":"Static Analysis Results Interchange Format (SARIF) Version 2.1.0, 2020","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:28.468502Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:1671098373780097e1b835c22ce80431240c4e75828f591947e07bd5d59f91f3","observation_id":"18782b3d-75a4-4338-865c-4109facb625f","resolution":{"observed_at":"2026-08-04T06:17:28.468502Z","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-04T06:17:28.535254Z","title":"Using Logprobs","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:28.535254Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:f676aa6884d0b6a9a6dd0344ae5fa96f307d3a3311fa094d6f755b6f2692db33","observation_id":"8a2028b4-fe7d-4886-9cf8-1e08d6a8c85e","resolution":{"observed_at":"2026-08-04T06:17:28.535254Z","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-04T06:17:28.599073Z","title":"jdb: The Java debugger","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:28.599073Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:7152d83079b1371f5784c66df133c0197ed3747fae4159b5866db99f741114bf","observation_id":"ab34e601-6cb2-4af8-bcba-ffced259d10f","resolution":{"observed_at":"2026-08-04T06:17:28.599073Z","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-04T06:17:28.704178Z","title":"Symbolic execution with SymCC: Don’t interpret, compile! In29th USENIX Security Symposium (USENIX Security 20), pages 181–198, Berkeley, CA, USA, August 2020","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:28.704178Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:eb3ec2addf9f65e494e64781152396c890ac9c5ef1110a4db8f91c962e571eb1","observation_id":"9f8753bf-83f4-4de1-ba59-59897c7f2477","resolution":{"observed_at":"2026-08-04T06:17:28.704178Z","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-04T06:17:28.814777Z","title":"Semgrep: Lightweight static analysis for many lan- guages, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:28.814777Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:9e8bce87c7374b88d53b3c58bc4325dd1c73e9460eba7c87ed4da4edeb74569a","observation_id":"fd88431d-4df8-4556-af36-6751f7e9422e","resolution":{"observed_at":"2026-08-04T06:17:28.814777Z","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-04T06:17:28.902587Z","title":"{AddressSanitizer}: A fast address sanity checker","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:28.902587Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:429f4f16e75fb06089ab78117f84466e14fb3152f52cea6dba16afc7af4014d2","observation_id":"e9f40f54-39f1-4aec-87a3-cacc2fc31906","resolution":{"observed_at":"2026-08-04T06:17:28.902587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2507.10845","last_updated":"2025-07-21T18:26:42Z","snapshot_observed_at":"2026-07-06T21:57:12.341146Z","submitted_at":"2025-07-14T22:37:21Z","title":"BandFuzz: An ML-powered Collaborative Fuzzing Framework","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2507.10845","snapshot_observed_at":"2026-08-04T06:17:28.993762Z","title":"Bandfuzz: An ml-powered collaborative fuzzing framework, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:28.993762Z"},"links":{"cited_paper":"/paper/2507.10845","citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:d59bc2bf17b398d068dedc7553ac834faa19a0029a5095c6457c8c049752d1a9","observation_id":"1f78bac9-8b2a-49a3-b453-67c8b49223c8","resolution":{"observed_at":"2026-08-04T06:17:28.993762Z","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-04T06:17:29.084409Z","title":"Reflexion: language agents with verbal reinforcement learning","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:29.084409Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:8ec8e9ce91369694f4bf0d027cafa59451bb7082ddcc1fbce78fae7de38e1308","observation_id":"27f964ed-6abd-4eff-8f09-3b236463298d","resolution":{"observed_at":"2026-08-04T06:17:29.084409Z","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-04T06:17:29.168133Z","title":"SoK: (State of) The Art of War: Offensive Techniques in Binary Analysis","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:29.168133Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:5c94537bb0995eba9159c3a92b295261d3e6a5bf12b48e9f0a99da159f038ef9","observation_id":"7cd195fe-8dd3-4ace-842c-9d585e9f25b5","resolution":{"observed_at":"2026-08-04T06:17:29.168133Z","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-04T06:17:29.255051Z","title":"OSS-CRS: Open-Source Software Cyber Reasoning System","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:29.255051Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:e7ba5603017261e01aff0c4499f6d80aa15f18c5fcc6054cb0548b7164625f57","observation_id":"c3d23430-37a3-4c3a-b67e-343f17a8894c","resolution":{"observed_at":"2026-08-04T06:17:29.255051Z","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-04T06:17:29.323460Z","title":"DSPy: The framework for programming—not prompt- ing—language models, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:29.323460Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:b45105ea929702c40664b42cf198196e6468123ecfe8719a3e03248642ca2f50","observation_id":"a423edd6-6d6f-44bb-a805-8f257dd4310e","resolution":{"observed_at":"2026-08-04T06:17:29.323460Z","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-04T06:17:29.532197Z","title":"SVF: Interprocedural static value-flow analysis in LLVM","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:29.532197Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:60906dae2976ab054a3ce899d83b0c6d4e827f5edc561578d24366d7eb86c71a","observation_id":"74cd95a5-e1fe-4cd4-a8ba-342ecff2231d","resolution":{"observed_at":"2026-08-04T06:17:29.532197Z","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-04T06:17:29.681978Z","title":"(Team Atlanta)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:29.681978Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:03002414b10f1f15e4a0f5d0f549c314099d0f7ea014be9d84e4180016105f9f","observation_id":"a996c98b-ff41-4518-8b05-b919666f728e","resolution":{"observed_at":"2026-08-04T06:17:29.681978Z","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-04T06:17:29.804520Z","title":"42-b3yond-6ug Open Letter","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:29.804520Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:b220604ae97e71fdd96c611096efb9fa4dbcb72e3aa75bb012cc974d517ed8b3","observation_id":"18192d73-e262-492f-96e6-5d8f6c424b5a","resolution":{"observed_at":"2026-08-04T06:17:29.804520Z","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-04T06:17:29.949730Z","title":"Branch Flipper: Unlocking fuzz blockers with coverage- grounded LLMs","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:29.949730Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:c5342af47abf15ec9173e8f15fa028906b4722a1aca7f8a7b907af020dba94e9","observation_id":"c3fac6a9-ba90-4d2e-af0a-d8c4692a68ac","resolution":{"observed_at":"2026-08-04T06:17:29.949730Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2302.13971","last_updated":"2023-02-27T17:11:15Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-02-27T17:11:15Z","title":"LLaMA: Open and Efficient Foundation Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.13971","snapshot_observed_at":"2026-08-04T06:17:30.113726Z","title":"LLaMA: Open and efficient foundation language models.arXiv preprint arXiv:2302.13971, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:30.113726Z"},"links":{"cited_paper":"/paper/2302.13971","citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:d58b3d7168a5351e4731e507db1b513996dda72637b1626e8062104a891a6f18","observation_id":"a858063f-c6b5-4a77-add1-f854a93ff659","resolution":{"observed_at":"2026-08-04T06:17:30.113726Z","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-04T06:17:30.239013Z","title":"Tree-sitter: An incremental parsing system for program- ming tools, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:30.239013Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:7201f3ed71855b5cec92f8ecfad4d9aebf50c6615291a49255ccf035c02070f9","observation_id":"7a5d939f-c53d-4d8f-bcc3-1e326ebd574c","resolution":{"observed_at":"2026-08-04T06:17:30.239013Z","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-04T06:17:30.369559Z","title":"W ALA: T.J","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:30.369559Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:c5cdf57dbbcfdc28f77b23b2ef49a656b180423b0f5133bbe71dda6370dba88a","observation_id":"26d3a49c-2759-4ea1-9b3e-a040352ff39f","resolution":{"observed_at":"2026-08-04T06:17:30.369559Z","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-04T06:17:30.456322Z","title":"Machine vs","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:30.456322Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:9881967d6206828607c2e597affdaa18984b2fa6c107e96cf020be44c4855c25","observation_id":"6c18b2c5-502b-4a4c-bbc2-f159ed161794","resolution":{"observed_at":"2026-08-04T06:17:30.456322Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2203.11171","last_updated":"2023-03-07T17:57:37Z","snapshot_observed_at":"2026-07-06T12:50:22.773056Z","submitted_at":"2022-03-21T17:48:52Z","title":"Self-Consistency Improves Chain of Thought Reasoning in Language Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2203.11171","snapshot_observed_at":"2026-08-04T06:17:30.532820Z","title":"Self-Consistency Improves Chain of Thought Reasoning in Language Models","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:30.532820Z"},"links":{"cited_paper":"/paper/2203.11171","citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:6f58a50fc7fba5978015fdcae304bf1de122ff5af274b2fc3b3cc90c211cb1ef","observation_id":"b50a7f87-7292-4328-88fe-5589a2d9a1bd","resolution":{"observed_at":"2026-08-04T06:17:30.532820Z","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-04T06:17:30.609059Z","title":"Modeling and Discovering Vulnerabilities with Code Property Graphs","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:30.609059Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:f6a406ba39fbe1054aa87e5a2e153c0a036f69102488324dbf30227992c89fc2","observation_id":"077e522b-b708-4cb8-a511-056ff64e3312","resolution":{"observed_at":"2026-08-04T06:17:30.609059Z","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-04T06:17:30.686358Z","title":"GNU Global: Source code tagging system","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:30.686358Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:ddbd0585a6bef42167796967aa036de8575f2e93245b607d9d4c5b82626c2949","observation_id":"1a1fdfbc-fcfd-4215-a63f-cfd6f5bb59d2","resolution":{"observed_at":"2026-08-04T06:17:30.686358Z","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-04T06:17:30.739098Z","title":"Jimenez, Alexander Wettig, Kilian Lieret, Shunyu Yao, Karthik Narasimhan, and Ofir Press","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:30.739098Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:433c35163ccce90db4fab1b5b515fe8cd38da62f87eb086728a876ec18c7f7b7","observation_id":"4c3b0c38-b3b4-41a5-80b9-0620dff7c691","resolution":{"observed_at":"2026-08-04T06:17:30.739098Z","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-04T06:17:30.828301Z","title":"ReAct: Synergizing reasoning and acting in language models","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:30.828301Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:ba38dc82351a04393ca1c869a6b7e8d5994770c9ae9d80388798873893b43f07","observation_id":"e950da4b-ad4d-44a7-a50f-38a605a9a44c","resolution":{"observed_at":"2026-08-04T06:17:30.828301Z","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-04T06:17:30.895879Z","title":"Patchagent: A practical program repair agent mimicking human expertise","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:30.895879Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:aca85c152ab754e84b4b43a1067ff0282084b781dd1ad634b91b2720dc4de0a0","observation_id":"65956335-5b12-4d89-b901-dd1d321b9412","resolution":{"observed_at":"2026-08-04T06:17:30.895879Z","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-04T06:17:30.984191Z","title":"QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:30.984191Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:7ff3e2b3c551c75d36f7b5c2c9e270242ff22399b2db0fc3a6f882732aaf94d5","observation_id":"f7743bc2-9400-4a02-92fe-e1171e298556","resolution":{"observed_at":"2026-08-04T06:17:30.984191Z","resolver_source":null,"status":"malformed_identifier"},"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-04T06:17:26.815343Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:26.815343Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:7dc2b96224275e5b3d5b744a688f012ac7b481520187dd6fb812d4a37bf48439","observation_id":"5cf9b366-785f-4538-8c38-760682110255","resolution":{"observed_at":"2026-08-04T06:17:26.815343Z","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-04T06:17:27.725034Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned","version":5},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-04T06:17:27.725034Z"},"links":{"citing_paper":"/paper/2602.07666"},"observation_digest":"sha256:de43fec357b5e6e868992506a75fc8f16d766ba6d6885ae85c98d322e0a56dc1","observation_id":"7da60b03-08e5-47ed-bcc2-fbb8d1d4941e","resolution":{"observed_at":"2026-08-04T06:17:27.725034Z","resolver_source":null,"status":"parse_uncertain"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2602.07666","last_updated":"2026-08-02T23:24:12Z","latest_version":5,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-05T00:28:04.493753Z","submitted_at":"2026-02-07T19:21:27Z","title":"SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned"},"reference_resolution":{"displayed":72,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":1,"unresolved":69,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":72},"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-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"thesis":"As of 5 August 2026, this Paper Citation Record lists 72 of 72 outbound references and 6 inbound Pith citation observations for arXiv:2602.07666."}