{"as_of":"2026-08-08T19:16:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f5f1501cadf873f0279294376b6390f4b432a16010c10efccaec1c0a45acbcd7","coverage":[{"denominator":50,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":50,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-08T00:18:01.666711Z","state":"measured"},{"denominator":50,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":50,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2608.04217/citation-record","integrity":"/paper/2608.04217/integrity","json":"/paper/2608.04217/citation-record.json","paper":"/paper/2608.04217"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:18:02.756128Z","title":"National vulnerability database (NVD) dashboard,","venue":null,"work_id":"e0c43f2f-5069-4feb-9cc6-8583c07bd313","year":2023},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.422178Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:81007d4bc632e3ee1db426e67fdc9e2c172ae956928193bef3b58088c4c0303e","observation_id":"afae6b42-acb6-4da3-a2dc-d2608919d70c","resolution":{"observed_at":"2026-08-08T00:18:02.761229Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.740047Z","title":"Software vulnerability: Impact & ways to avoid it,","venue":null,"work_id":"d1744252-4bf2-41ef-a959-e51b13cdef07","year":2023},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.427708Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:1ae15e786ae036fbd949a0a7cc58cb8da9d21e9170c83f8552ddcab5459841e3","observation_id":"7ce9e65c-d341-4b79-a4e0-ee998659832f","resolution":{"observed_at":"2026-08-08T00:18:02.745523Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.724075Z","title":"Examining zero-shot vulnerability repair with large language models,","venue":null,"work_id":"2dd8c455-ab4e-4309-85d4-964cc9594793","year":2023},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.432449Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:0bf6bcc16a2e13c402b3436880bfb73759821de0b4e8a30161f357c3584d0583","observation_id":"54a7ff8f-ae0b-47b7-a09c-264ef0b3cc8e","resolution":{"observed_at":"2026-08-08T00:18:02.729165Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.02525","last_updated":"2024-10-07T11:52:19Z","snapshot_observed_at":"2026-07-06T17:54:59.496297Z","submitted_at":"2024-04-03T07:27:33Z","title":"Large Language Model for Vulnerability Detection and Repair: Literature Review and the Road Ahead","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.02525","snapshot_observed_at":"2026-08-08T00:18:01.438011Z","title":"Large language model for vulnerability detection and repair: Literature review and roadmap,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.438011Z"},"links":{"cited_paper":"/paper/2404.02525","citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:c8b6332a580b615d9fb0a573dcbfe767aca1d5ce9a4651c55747ca54cd4a5288","observation_id":"cab2073f-47af-4fdb-9e2e-363c97598edc","resolution":{"observed_at":"2026-08-08T00:18:01.438011Z","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-08T00:18:02.708103Z","title":"How effective are neural networks for fixing security vulnerabilities,","venue":null,"work_id":"90ae09dd-5638-481a-ba3c-888ae49844a5","year":2023},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.443709Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:5aec28bfc01c55dc8d294d3ab33938eaccb7ca006e97dd41e32d21a0adb7f529","observation_id":"78203a7c-16cb-4f07-9b58-36f26123fdf5","resolution":{"observed_at":"2026-08-08T00:18:02.713216Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.02153","last_updated":"2026-06-19T00:49:28Z","snapshot_observed_at":"2026-08-08T14:20:37.719963Z","submitted_at":"2024-08-04T22:13:14Z","title":"ARVO: Atlas of Reproducible Vulnerabilities for Open-Source Software","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.02153","snapshot_observed_at":"2026-08-08T00:18:01.449981Z","title":"ARVO: Atlas of reproducible vulnerabilities for open source software,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.449981Z"},"links":{"cited_paper":"/paper/2408.02153","citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:5ca78dd941b66e315f4a8f7b053d7862421f2b12f2db860777e671a1f0bb06f2","observation_id":"ec71d581-d6f5-4dbb-a61b-1db8576bfcd4","resolution":{"observed_at":"2026-08-08T00:18:01.449981Z","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-08T00:18:02.692722Z","title":"A large-scale empirical study of security patches,","venue":null,"work_id":"c45d24d0-cec8-41fa-b467-2177658346ce","year":2017},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.455876Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:d9ad40998ab3887732625d50238978171c4ce4af38ffb314976f37ffb4d7314b","observation_id":"12008800-e351-43bb-8ecc-c8c2aebe3659","resolution":{"observed_at":"2026-08-08T00:18:02.697808Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.677844Z","title":"Veribin: Adaptive verification of patches at the binary level","venue":null,"work_id":"5bf17f36-9d8e-4b3d-b4e1-5e312eaccfed","year":2025},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.460611Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:7e21d963e66a7989c04d13c3eae8cbb959fd344b2363df58163c0d7ecb11c1b6","observation_id":"9ee24911-5d1e-41dc-8a1d-f1dc247ddad0","resolution":{"observed_at":"2026-08-08T00:18:02.682585Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.662944Z","title":"The shrinking window for vulnerability exploitation: Why automated patching is critical,","venue":null,"work_id":"bc0b59af-7461-4f50-a9c5-8d46fa4cdc53","year":2025},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.465419Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:bb04a929abddaa5b4554a5c5e067301dcdd2989695bd6d89c6b7085843ff0b6a","observation_id":"5dbb356e-c886-4f3c-9486-e28b09af81b5","resolution":{"observed_at":"2026-08-08T00:18:02.667510Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.647182Z","title":"OSS-Fuzz-google’s continuous fuzzing service for open source software,","venue":null,"work_id":"57a212ae-5570-4e71-b46f-55d238025b0d","year":2017},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.470126Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:cc1ee33248f8212a3026fc5e6109092f12450c8fd36e7555722f4ce2ad3ff91e","observation_id":"031d8093-cbff-4d57-a4fd-c3562f3a20cb","resolution":{"observed_at":"2026-08-08T00:18:02.652469Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.629316Z","title":"Driller: Augmenting fuzzing through selective symbolic execution,","venue":null,"work_id":"9fc19065-694c-422e-8dc9-9dbe01a542ec","year":2017},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.475059Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:765534b41e5cb98d6b4e706246733a2caf9015a5f53a43c2608da2c037dff845","observation_id":"18dcdd8d-b8f5-45be-8a62-58b3278fd840","resolution":{"observed_at":"2026-08-08T00:18:02.635104Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.612190Z","title":"KLEE: unassisted and auto- matic generation of high-coverage tests for complex systems programs","venue":null,"work_id":"0400c7ff-ddaa-455f-976a-ff115306e8e6","year":2008},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.480106Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:1cd1657c180d0e2efc43ef1ad6bc4901fe36ff9b46dd8c7c4d7b70b35e0e6dbe","observation_id":"f0171c3b-c0b0-496c-867d-959f98e0d56d","resolution":{"observed_at":"2026-08-08T00:18:02.617721Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.595163Z","title":"PBAEG: combine-vulnerabilities aeg to defeat protection mechanisms,","venue":null,"work_id":"de90c408-8603-43a9-b143-d0d263949937","year":2025},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.485182Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:fc0c210f4a96ce6ac0253ea7cbe54b41090e00b6f2fc07720cd158a5d69e2cd4","observation_id":"6bc8baf3-9a9a-43bc-bf9a-5eb54da4cbc0","resolution":{"observed_at":"2026-08-08T00:18:02.600458Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.580236Z","title":"FUGIO: Automatic exploit generation for PHP object injection vulnerabilities,","venue":null,"work_id":"10a42626-0ff0-4ede-b4ed-506451e84133","year":2022},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.490087Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:98bd3b8259861b433e846af83e4d4989eb5274885314600e90f4baa21da0aace","observation_id":"23c642f8-744d-4c65-ba06-6c811b58aca5","resolution":{"observed_at":"2026-08-08T00:18:02.584886Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.565377Z","title":"Automated exploit generation for Node.js packages,","venue":null,"work_id":"e536bfbe-e816-42d3-82d2-65a868ce8e0e","year":2025},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.494982Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:40c57936299d9937ed39ac1887fd46de3b8ce4667ab1492e9df21da8b2b7a693","observation_id":"d6abe021-fb0f-4621-b10e-dd72376b04cc","resolution":{"observed_at":"2026-08-08T00:18:02.570092Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.550578Z","title":"KOOBE: Towards facilitating exploit generation of kernel out-of-bounds write vulnerabilities,","venue":null,"work_id":"df5abfc8-4fd1-41b5-80c2-e1d57e8ec862","year":2020},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.501074Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:92cb3260fa0a6bc5708f2b47dfa1a74feb984ed77d21c44a2a9c0d1779ce31ec","observation_id":"3383c15d-9fcb-4469-bb6c-133c065b9145","resolution":{"observed_at":"2026-08-08T00:18:02.555090Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.535506Z","title":"NA VEX: Precise and scalable exploit generation for dynamic web applications,","venue":null,"work_id":"f19e25f3-4ae9-4fe4-a2d2-2b9385a927ec","year":2018},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.505797Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:d19cfac4e6a8a795cfc5221c756ad0fec632d8e5b7c69bb868c91c4f9948364a","observation_id":"2584c810-c3a1-4c7f-8446-bd3c2972ab00","resolution":{"observed_at":"2026-08-08T00:18:02.540304Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.04962","last_updated":"2026-06-28T09:23:55Z","snapshot_observed_at":"2026-08-07T10:27:10.848359Z","submitted_at":"2025-06-05T12:37:33Z","title":"PoCGen: Generating Proof-of-Concept Exploits for Vulnerabilities in Npm Packages","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.04962","snapshot_observed_at":"2026-08-08T00:18:01.511143Z","title":"PoCGen: Generating proof-of- concept exploits for vulnerabilities in npm packages,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.511143Z"},"links":{"cited_paper":"/paper/2506.04962","citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:3d8641bc93ffd548f6ac7cf60981fcb5bee601531f03d8c692daa21f19969415","observation_id":"b0bb4e4f-216e-4f7b-812e-bd40bd1b0c68","resolution":{"observed_at":"2026-08-08T00:18:01.511143Z","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-08T00:18:02.520435Z","title":"Cottontail: Large language model-driven concolic execution for highly structured test input generation,","venue":null,"work_id":"b726cd5f-3bab-418b-93ae-557c4a4b6fc4","year":2026},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.516145Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:7e3c708265b2c5a20131ed214f55e0d56702e05e98c3641026ebad8e05de67f4","observation_id":"da0dc1cc-3f0e-4409-bb98-5f7a2952a50f","resolution":{"observed_at":"2026-08-08T00:18:02.525360Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.505239Z","title":"Agentic concolic execution,","venue":null,"work_id":"073ec4a3-801b-4f01-b24e-965ee9103d48","year":2026},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.520824Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:5ae5b470f4e92e13fda277bd21d7a300c561641e787cb155148140bc53a1c078","observation_id":"d758dc99-78d0-42bc-a138-9baa72f2a5fb","resolution":{"observed_at":"2026-08-08T00:18:02.510347Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.489867Z","title":"Large language model powered symbolic execution,","venue":null,"work_id":"9f6b6709-390d-4322-bbd1-7b4737531d83","year":2025},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.525610Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:27339bf6a57353521e64e67a9554a64e8cfd45293ba6c7ea72aee488f2bdff5a","observation_id":"655c3d0d-7c85-4698-9559-ae3eb614a88e","resolution":{"observed_at":"2026-08-08T00:18:02.494775Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.474955Z","title":"National Vul- nerability Database (NVD),","venue":null,"work_id":"c273b9f4-6dd2-42ef-876c-38067b44e066","year":2025},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.531011Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:74f9b6e67751d64a554a30ef08ba9db452bd1d86c2092aa49656cb764d165e19","observation_id":"69592568-b17b-4974-bc4c-89407caf1d4d","resolution":{"observed_at":"2026-08-08T00:18:02.479862Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.459714Z","title":"The Exploit Database,","venue":null,"work_id":"9c171af4-fcc3-4c77-b0e9-7dfe953d51d8","year":2025},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.535983Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:7a1213d867b0ede9692d4c7cc62b76aadbe6e721e68a1a8a3d3142d9540e76d1","observation_id":"350b59ac-f35f-44c1-a50a-1ea35b6ad5aa","resolution":{"observed_at":"2026-08-08T00:18:02.464630Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.444446Z","title":"On the effectiveness of function-level vulnerability detectors for inter- procedural vulnerabilities,","venue":null,"work_id":"4d3380c3-07ee-4e8e-8ebe-cd2ce5b54cd7","year":2024},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.541260Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:3ff8fef3eafe32368401c587cb7a473bbcc5d3a4478121cc7ece182b0126e4fd","observation_id":"edda97a4-5f40-4e86-9622-f7ec9e52abe7","resolution":{"observed_at":"2026-08-08T00:18:02.449626Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.428349Z","title":"Interprocedural slicing using dependence graphs,","venue":null,"work_id":"4e43e9e9-41dd-4f52-bb6f-6b51acb8a834","year":1990},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.545822Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:3bd068edd8cfc9216c4dbb9232448679b87a0694875dbbfebd38eceb7dfc8740","observation_id":"ded4ea22-e503-4535-97b2-c308f7e383a6","resolution":{"observed_at":"2026-08-08T00:18:02.433665Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2409.12369","last_updated":"2024-09-19T00:07:56Z","snapshot_observed_at":"2026-08-02T10:46:06.301144Z","submitted_at":"2024-09-19T00:07:56Z","title":"Program Slicing in the Era of Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.12369","snapshot_observed_at":"2026-08-08T00:18:01.550573Z","title":"Program slicing in the era of large language models,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.550573Z"},"links":{"cited_paper":"/paper/2409.12369","citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:665a40bb32dd7e05c6e26540bd91c115548e2d3037bb16df6bf2173aebc1436e","observation_id":"8524b284-aba5-405e-997e-3dbe4a4fdbfa","resolution":{"observed_at":"2026-08-08T00:18:01.550573Z","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-08T00:18:02.413364Z","title":"A platform for robust analysis of c/c++ code,","venue":null,"work_id":"8837a9a7-af9d-42df-83bc-604314973918","year":2022},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.555662Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:f8b75d06e8c44273cf1de8dc462edb8c6e3f7d548374c6a8efad54582119f52f","observation_id":"4ab6e195-faba-4781-82d3-920d622abc43","resolution":{"observed_at":"2026-08-08T00:18:02.418141Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.398535Z","title":"SySeVR: A framework for using deep learning to detect software vulnerabilities,","venue":null,"work_id":"525170c2-8bb5-44de-a0e0-4c69fd774e43","year":2021},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.560436Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:96ea782691061f9120d58465ee811717af42902646154d551205b5c501b58f48","observation_id":"4cbdd49e-bee7-492b-9d04-328df7627a1e","resolution":{"observed_at":"2026-08-08T00:18:02.403432Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.381923Z","title":"GLM-5.2: An open-weight large language model,","venue":null,"work_id":"411b660d-2cc7-4cdc-aeb8-386fd478bdce","year":2026},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.565340Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:8f80f67e5c07e651b2dc03642ea8dc173122a3133a29d56b2b2b41f775fbac08","observation_id":"5fd421c3-41c4-455b-a7e5-90fd16496fe3","resolution":{"observed_at":"2026-08-08T00:18:02.388381Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.360366Z","title":"A wrapper script to build whole-program llvm bitcode files,","venue":null,"work_id":"3553a0ad-02ba-4539-8ed5-ae9efb912bdc","year":2021},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.569824Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:ec5cb70651299996a3a560d0fe6b37aa3e1b22a13b99bb79abf384de594fa06a","observation_id":"24dcc4c0-a1c5-42b3-81a7-99ef4987545c","resolution":{"observed_at":"2026-08-08T00:18:02.365863Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.343972Z","title":"SVF: interprocedural static value-flow analysis in llvm,","venue":null,"work_id":"f6fe6b9e-c242-4387-bb50-a0edcf76e826","year":2016},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.574116Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:129d936f5a228e54603226edbecfcb5d0248dc842bb5d2f9e4585a6ec9e70c96","observation_id":"14da6c1f-92b5-4523-aad4-4969a56390d2","resolution":{"observed_at":"2026-08-08T00:18:02.349686Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.329114Z","title":"Z3: An efficient smt solver,","venue":null,"work_id":"d353d35c-996f-45f2-bc9d-63d42465fc0a","year":2008},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.578465Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:c10fcd55acd1390957b0175e117c7e84edb5eb03bd2073a885a3a7c19788c94d","observation_id":"21f34d2b-a9e8-4459-aa71-ed0afd918e82","resolution":{"observed_at":"2026-08-08T00:18:02.333826Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.313679Z","title":"Unsloth,","venue":null,"work_id":"b95072c5-8938-48f4-98ba-4d93dc38a17e","year":2024},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.582893Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:e557d1206eb10b19272dc51bf83b965c845f23a86665ba63fca59e3aad4d2fcf","observation_id":"c1ecf960-f7d3-436f-a3ce-4e0f3f9709b6","resolution":{"observed_at":"2026-08-08T00:18:02.318569Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.298501Z","title":"Software verification: 10th comparative evaluation (SV- COMP 2021),","venue":null,"work_id":"7918281e-838b-44bd-8e4c-5f69062666c9","year":2021},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.587156Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:c405177920ec078e7f20d9e888f3c8e69b8ad82c34e76b0c9c5af8c1a02a4bc7","observation_id":"21643bf3-7f37-4567-8a61-4fe4d4972b01","resolution":{"observed_at":"2026-08-08T00:18:02.303461Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.282095Z","title":null,"venue":null,"work_id":"48e04d67-bfcc-4c17-8ec3-e9a2ae32a3e1","year":2018},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.591918Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:d388bb7f544b29bb0ff44a259366bc4d7fbc27c439ef03bf5074ff8598eda120","observation_id":"ced999ca-869f-40f2-856c-4be1249edcfb","resolution":{"observed_at":"2026-08-08T00:18:02.287215Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.266177Z","title":null,"venue":null,"work_id":"56380373-18e7-46ab-9181-d0998d93a643","year":1977},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.596555Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:87d159ff04b623eae8bbf36aa81556dac4ec95219d134cf31f5eeb53b4313382","observation_id":"425b1941-0d91-4331-9079-c7410041b2e9","resolution":{"observed_at":"2026-08-08T00:18:02.271607Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.249815Z","title":"Continuous fuzzing with libfuzzer and addresssanitizer,","venue":null,"work_id":"85edaaa9-8bdd-4678-9cf4-6e843723190a","year":2016},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.602397Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:702320db879d851fd92aa50eef621ceff555348c8bb4c0471b3212fecba57d1c","observation_id":"3dc08029-18c4-4d8a-ba16-9d3aa8d06cd6","resolution":{"observed_at":"2026-08-08T00:18:02.255066Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.233001Z","title":"AFL++: Combining incremental steps of fuzzing research,","venue":null,"work_id":"d28973cf-b33f-4d99-b407-b9572fab8b90","year":2020},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.607361Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:28b052ce32146593db1e3d95925a75cef58d23d226bab8449d55a722a50bed91","observation_id":"b86ef9e8-0913-4cab-93da-7b39771ae38d","resolution":{"observed_at":"2026-08-08T00:18:02.238511Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.215826Z","title":"Directed greybox fuzzing,","venue":null,"work_id":"4a0c9582-12e0-407b-b2f3-06f0128c5155","year":2017},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.612363Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:36c1045611b1218572da101efd26f3cf586510675a4363dd097a28959971cea4","observation_id":"24185701-2469-4145-a521-d68d6dd23b85","resolution":{"observed_at":"2026-08-08T00:18:02.221424Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.197265Z","title":"SAGE: whitebox fuzzing for security testing,","venue":null,"work_id":"53488f35-5d4d-4b24-824f-b01630db82b9","year":2012},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.617499Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:bf2ab5456c2440abaa75eacda40bb0dea822e1c1136448d8ba3ec03f0d70788b","observation_id":"86c1cc6e-b575-458b-bf0c-144256673e06","resolution":{"observed_at":"2026-08-08T00:18:02.203390Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.179324Z","title":"American fuzzy lop (AFL) fuzzer,","venue":null,"work_id":"40ecfefe-2bce-47e2-a938-39a96dcc4c53","year":2017},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.622051Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:fe1bf59d2f0580b6c25c6b202ec810eb65080ab05bb17f7500fb44df73d0ef0b","observation_id":"8b7d1a2b-aeea-4494-9a42-ca45dbc409e2","resolution":{"observed_at":"2026-08-08T00:18:02.185255Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.158765Z","title":"Automatic patch- based exploit generation is possible: Techniques and implications,","venue":null,"work_id":"e98248de-bd24-4e1e-9759-ea05375d118b","year":2008},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.627098Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:a8ddf5d72753465226efc65bd3c3d293ae976163f311637ebb7476fd4e40104c","observation_id":"31516644-7f4e-49df-8582-bd01d8bf50f0","resolution":{"observed_at":"2026-08-08T00:18:02.164201Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.141087Z","title":"Learning to fuzz from symbolic execution with application to smart contracts,","venue":null,"work_id":"dca597c9-f7f2-482d-8190-1815b33ffe4b","year":2019},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.632115Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:1524a654ae165ac11fdccaecdb08cac16fe1194e9f033167dd1b2424405642ce","observation_id":"d32ac8ff-7d1e-45f8-94ed-3af6830b8c4a","resolution":{"observed_at":"2026-08-08T00:18:02.147029Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.121975Z","title":"Symbolic execution with test cases generated by large language models,","venue":null,"work_id":"f03e48aa-493a-4f93-9790-eb6b1302cd97","year":2024},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.637106Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:5dc7409fe1a1836ae31ee486c4e3a751935a9d79d5066559976f88c3052e4574","observation_id":"9586757f-a3c6-421c-a7ef-8ceec3d9c03e","resolution":{"observed_at":"2026-08-08T00:18:02.127400Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2502.07644","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:18:01.915372Z","title":"SymGPT: Auditing smart contracts via combining symbolic execution with large language models,","venue":null,"work_id":"92edd3b0-c7d7-4154-b540-5be9ecc5a9b9","year":2025},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.642209Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:63b8522a56136d4522951ca66de1ce27fb43d71fd0ca8a932aeb80e9d9b64e86","observation_id":"782624f9-21be-4ce0-9be9-0e245c9ea5b8","resolution":{"observed_at":"2026-08-08T00:18:01.936442Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2507.15241","last_updated":"2025-07-21T04:55:34Z","snapshot_observed_at":"2026-08-07T14:35:00.947063Z","submitted_at":"2025-07-21T04:55:34Z","title":"FaultLine: Automated Proof-of-Vulnerability Generation Using LLM Agents","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2507.15241","snapshot_observed_at":"2026-08-08T00:18:01.647091Z","title":"Faultline: Automated proof-of-vulnerability generation using llm agents,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.647091Z"},"links":{"cited_paper":"/paper/2507.15241","citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:9d5bd2049b16db5babc8f873ea4edbeeaaddb8f1275a4c1c7defde0b4a00dab3","observation_id":"fd147f90-c3dd-4c34-be36-4a98edadfdcd","resolution":{"observed_at":"2026-08-08T00:18:01.647091Z","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-08T00:18:02.099959Z","title":"PwnGPT: Automatic exploit generation based on large language models,","venue":null,"work_id":"818e9554-11d7-4fe6-a3a6-b5b6cc9ae836","year":2025},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.652466Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:6796dae6fb66e394102670e0946d4bbdcc2077ba761bb5a84923649778c6092d","observation_id":"6f8b9500-e266-495f-83a8-ce84e145b642","resolution":{"observed_at":"2026-08-08T00:18:02.107275Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.084369Z","title":"PentestGPT: Evaluating and harnessing large language models for automated penetration testing,","venue":null,"work_id":"24a3506e-aa0a-4441-b35b-3a16f72d10f3","year":2024},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.657072Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:81c2c949daabcf2dfbb0d2fd117c6fade33f6300d6bd18466f6c10b4f8ef0b66","observation_id":"d4c03506-3b25-429d-9233-778ee67aa219","resolution":{"observed_at":"2026-08-08T00:18:02.089300Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.068168Z","title":"Gollum: Modular and greybox exploit generation for heap overflows in interpreters,","venue":null,"work_id":"a91480a9-7155-448f-a910-5d38002ae8bf","year":2019},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.661928Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:1eafd1177de9fe63c1eeac7103d2a809d989063774af8c766ad4b8d461aa9b21","observation_id":"0e5df8af-5224-4dc8-969f-edca350d66ed","resolution":{"observed_at":"2026-08-08T00:18:02.073568Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T00:18:02.044395Z","title":"AAHEG: Automatic advanced heap exploit generation based on abstract syntax tree,","venue":null,"work_id":"5580f51c-f576-429a-b453-5bb56ce688e2","year":2023},"citing_paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-08T00:18:01.666711Z"},"links":{"citing_paper":"/paper/2608.04217"},"observation_digest":"sha256:f2ce9566828170165f12fca973b346e683012c54934136e958b31516adb6c727","observation_id":"52172ce3-8bcc-4438-8cfc-f61b81ad2ddd","resolution":{"observed_at":"2026-08-08T00:18:02.056059Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2608.04217","last_updated":"2026-08-04T20:37:21Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-08T19:11:28.664310Z","submitted_at":"2026-08-04T20:37:21Z","title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models"},"reference_resolution":{"displayed":50,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":7,"verified_exact":1,"verified_fuzzy":42},"total_outbound_references":50},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 50 of 50 outbound references and 0 inbound Pith citation observations for arXiv:2608.04217."}