{"as_of":"2026-08-18T12:25:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d921753803ceefb000f1c47787ebf5ef0c89d3522d62ee9b94a9675fc22a8fae","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-18T06:34:40.430872+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-13T13:26:04.188438Z","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:48c81dc0c435fc8b317e8a246f5465c9e4ddcf41f36ea06af182475b8c72f2f4","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:058d186957987453d6dcba1691bd6c99626197ce0207583527f5e4d39029a119","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:7d899b33006d7406dd5d495d28bbbd1681364a3232344a8632b66bcdb1c78f48","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-16T14:04:03.253035Z","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-13T13:26:04.188438Z","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:a339ffb1510e1139d9a7469c1d45f40fe45f1db1c2b7d0dd533378aff8f4ea4f","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-13T13:26:04.188438Z","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:5effb7a8d61823fd5b08551b9222306e1a7b4f11ada6d18d31f2ace2b84d409f","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T09:16:11.077998Z","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-13T13:26:04.188438Z","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:6b0bb12202045bb5675fd17b425f210aa68e0243923b36be9d8ba7ab741d3ea2","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-13T13:26:04.188438Z","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:3ccff6abccd9c5e92205b51d9e54ca5c72f5888113f461fd5d3e81e60730a578","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:6d8cbc314f9da5ac2ac455dbb1892f56ab2d06ce79bf6f11d8d2cb197e4be628","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:ec027acf49fd17f80f632587511c9abb7ad86c073b8af8ab5c425bc58749c47e","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:f4b9654ef88abce1876858499e3e327898613c67231cc73a97e0fe19858dbab6","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:c78d6389c6c52478eeedd1acebf4c3eef92ae841d76002e8b099ac5caa135e54","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:5f0189c745bf0447ee25cade74b78db35c852a367612d93e45ff1af6557fa345","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:b617302d524d42b9ed08ccc2e979a45a6bc0ae7a9287b2d476d1b25c6af8a17a","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:58affbd8bb5973e0b08f3cbc59cfe4e6ffd7e7b83912e63ec0a83b1037e8c041","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:7dad1390f86c7ccc571fe332019486d51b6c62b5cbdc9973716c766a21abfe63","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:cfbcd0308426e4d695197b9f387c1c627183b963d88ca24ba6e94e8e41ea2696","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:3c6be133759506dcfa09076c6d76f80fb03385c1c537ba088be8367d8011c7a1","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-16T21:27:46.312495Z","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-13T13:26:04.188438Z","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:17cde8b83f7e131516b692a620545ddf115b7dd794b8161d772fe15967c60c48","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-13T13:26:04.188438Z","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:d5795cf6edf2766173c5f8d3904527dfb471af05d58ffcddc34c59c9767b66b1","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:0f4b3dc6a2ae4f42e556023800f04e9723cb72e4d35e8e0d3a53843028688361","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:1a6b444040362d5fb93f69a515b3486be72629317d035a6af57f86bbf48cd6ab","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:928a6c4311406d0c30c69dae4f1942310869ecb54bf1cc0f1c7b7f0dc37d9beb","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:c25c700984e06db9fcf4d4f1f1dc43a30541af1874ebe707638176a384a7097d","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:5a4f9a93387bf07c90de9d5451ee89d64e1123eb080623202ac740c996972b26","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:b42a42ef71b1019b5850305a09bb310f37b6272d79f01b612d6c936d28d92415","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-16T13:17:20.438376Z","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-13T13:26:04.188438Z","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:b51abafcea5c7285e5af2ab84b850de0471577ea9a88da9a51f3488bb9603406","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-13T13:26:04.188438Z","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:25b10dfdd0a82ac4d997b4b6252ea0d6e9604e7caf988d6b2a31e01fc944264e","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:e443e7f860d8efe90aa68ca6f025e28de46810aaa49f23df03bdae39f7ef4178","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:f7c08d34429370a5572ea5d7f3ad9a22e553633cd80cc4dbecd9525aa9cc9fb6","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:f16ebc42c972fb1c29e716a88d9fb0a6d860a19353e924ea27c6aa5f834b7a04","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:7679ffee8acfb42fbaf59988b8655f6a3b073922ec2495106448074615aa625e","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:926087e73cd16c443dfe6f8c7e7193bf2636746a8bf53fd180f751e478528d0e","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:58bf1eb0c4755af15f51d7054a3b76cc9a0f15e8fb2dcf42e60c0f60bb392b53","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:eacc97afaf2ee669b872f50b0de517136125646c7eda341891049113a1e35cca","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:095a8f5d5718dacfa266ae3efbe0c170abf3e37e713fba8ca68675bd2a7d502f","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:fd97f27b5af28a31ba9f431ff6139ec57d9c46e8a3e3cd767e0ad241f2cc95c8","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:5f07ec651ff738ee89fdcc6acd6bbb671e3bdffd601b368aaa55267795b5d126","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:fef9215b72555db442c864788f0043b80ac04e03893b10e6c099ff358dbc9c4c","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:54a325822c02adea03353449e457a898cc7eff44f16019fb2a6cad78adee6475","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:fee362a59bce3ca8dbcc72471ca0ec5e4d319a51d0c5055c79b1d22798b426a0","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:d53f06ecb48da5fb426491d425702a96f9429d7a6e1f6ca88c7b2fea2d3a4309","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:6530e58c249d2e3b63818ac12a7f3591d5cb5099355de16d30d435a943390766","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:dbdba00b0aa2095847223827226fb168685648beb6e56ccfd341bd43a9edc88f","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:11745d8ddf3982cbc5142f8a9191f6422f3bf8811ee0249af3d89bea471fbabe","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:4279c748e678e11a22091d63e8f073c387266ac61cc35ae57999a1fb5ce50271","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T08:50:28.353701Z","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-13T13:26:04.188438Z","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:434c5d668737810f5e366c84adee7c40758582abf60bca735000e219e5eb7c5e","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-13T13:26:04.188438Z","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:87f5ee2ccceee933dff7c4081d363bf3ca5ce54204cda460e652e763bfd2b6ba","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:ac13740e32facf79a14ad604a2b6fb794bd6995497dd2e20cb0a4e6b82e4d932","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:5c77e9158aa3c4252d53573ef4e2ec154ee37ab423249e2b94072268a652a4f7","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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:7b3ab9ad6602c9220e291717a8adf61a7adfb90053f4a19aa46b45966559ad30","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-13T13:26:04.188438Z","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-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 50 of 50 outbound references and 0 inbound Pith citation observations for arXiv:2608.04217."}