Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-08T00:18:01.666711Z
Paper Citation Record · LEDGER
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.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-08T00:18:01.666711Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
50 of 50 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation afae6b42-acb6-4da3-a2dc-d2608919d70c · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models National vulnerability database (NVD) dashboard,
Reference 1
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 7ce9e65c-d341-4b79-a4e0-ee998659832f · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Software vulnerability: Impact & ways to avoid it,
Reference 2
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 54a7ff8f-ae0b-47b7-a09c-264ef0b3cc8e · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Examining zero-shot vulnerability repair with large language models,
Reference 3
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation cab2073f-47af-4fdb-9e2e-363c97598edc · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Large Language Model for Vulnerability Detection and Repair: Literature Review and the Road Ahead
Reference 4
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 78203a7c-16cb-4f07-9b58-36f26123fdf5 · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models How effective are neural networks for fixing security vulnerabilities,
Reference 5
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation ec71d581-d6f5-4dbb-a61b-1db8576bfcd4 · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models ARVO: Atlas of Reproducible Vulnerabilities for Open-Source Software
Reference 6
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 12008800-e351-43bb-8ecc-c8c2aebe3659 · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models A large-scale empirical study of security patches,
Reference 7
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 9ee24911-5d1e-41dc-8a1d-f1dc247ddad0 · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Veribin: Adaptive verification of patches at the binary level
Reference 8
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 5dbb356e-c886-4f3c-9486-e28b09af81b5 · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models The shrinking window for vulnerability exploitation: Why automated patching is critical,
Reference 9
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 031d8093-cbff-4d57-a4fd-c3562f3a20cb · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models OSS-Fuzz-google’s continuous fuzzing service for open source software,
Reference 10
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 18dcdd8d-b8f5-45be-8a62-58b3278fd840 · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Driller: Augmenting fuzzing through selective symbolic execution,
Reference 11
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation f0171c3b-c0b0-496c-867d-959f98e0d56d · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models KLEE: unassisted and auto- matic generation of high-coverage tests for complex systems programs
Reference 12
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 6bc8baf3-9a9a-43bc-bf9a-5eb54da4cbc0 · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models PBAEG: combine-vulnerabilities aeg to defeat protection mechanisms,
Reference 13
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 23c642f8-744d-4c65-ba06-6c811b58aca5 · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models FUGIO: Automatic exploit generation for PHP object injection vulnerabilities,
Reference 14
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation d6abe021-fb0f-4621-b10e-dd72376b04cc · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Automated exploit generation for Node.js packages,
Reference 15
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 3383c15d-9fcb-4469-bb6c-133c065b9145 · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models KOOBE: Towards facilitating exploit generation of kernel out-of-bounds write vulnerabilities,
Reference 16
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 2584c810-c3a1-4c7f-8446-bd3c2972ab00 · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models NA VEX: Precise and scalable exploit generation for dynamic web applications,
Reference 17
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation b0bb4e4f-216e-4f7b-812e-bd40bd1b0c68 · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models PoCGen: Generating Proof-of-Concept Exploits for Vulnerabilities in Npm Packages
Reference 18
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation da0dc1cc-3f0e-4409-bb98-5f7a2952a50f · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Cottontail: Large language model-driven concolic execution for highly structured test input generation,
Reference 19
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation d758dc99-78d0-42bc-a138-9baa72f2a5fb · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Agentic concolic execution,
Reference 20
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 655c3d0d-7c85-4698-9559-ae3eb614a88e · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Large language model powered symbolic execution,
Reference 21
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 69592568-b17b-4974-bc4c-89407caf1d4d · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models National Vul- nerability Database (NVD),
Reference 22
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 350b59ac-f35f-44c1-a50a-1ea35b6ad5aa · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models The Exploit Database,
Reference 23
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation edda97a4-5f40-4e86-9622-f7ec9e52abe7 · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models On the effectiveness of function-level vulnerability detectors for inter- procedural vulnerabilities,
Reference 24
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation ded4ea22-e503-4535-97b2-c308f7e383a6 · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Interprocedural slicing using dependence graphs,
Reference 25
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 8524b284-aba5-405e-997e-3dbe4a4fdbfa · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Program Slicing in the Era of Large Language Models
Reference 26
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4ab6e195-faba-4781-82d3-920d622abc43 · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models A platform for robust analysis of c/c++ code,
Reference 27
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 4cbdd49e-bee7-492b-9d04-328df7627a1e · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models SySeVR: A framework for using deep learning to detect software vulnerabilities,
Reference 28
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 5fd421c3-41c4-455b-a7e5-90fd16496fe3 · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models GLM-5.2: An open-weight large language model,
Reference 29
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 24dcc4c0-a1c5-42b3-81a7-99ef4987545c · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models A wrapper script to build whole-program llvm bitcode files,
Reference 30
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 14da6c1f-92b5-4523-aad4-4969a56390d2 · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models SVF: interprocedural static value-flow analysis in llvm,
Reference 31
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 21f34d2b-a9e8-4459-aa71-ed0afd918e82 · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Z3: An efficient smt solver,
Reference 32
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation c1ecf960-f7d3-436f-a3ce-4e0f3f9709b6 · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Unsloth,
Reference 33
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 21643bf3-7f37-4567-8a61-4fe4d4972b01 · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Software verification: 10th comparative evaluation (SV- COMP 2021),
Reference 34
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation ced999ca-869f-40f2-856c-4be1249edcfb · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Unresolved cited work
Reference 35
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 425b1941-0d91-4331-9079-c7410041b2e9 · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Unresolved cited work
Reference 36
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 3dc08029-18c4-4d8a-ba16-9d3aa8d06cd6 · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Continuous fuzzing with libfuzzer and addresssanitizer,
Reference 37
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation b86ef9e8-0913-4cab-93da-7b39771ae38d · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models AFL++: Combining incremental steps of fuzzing research,
Reference 38
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 24185701-2469-4145-a521-d68d6dd23b85 · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Directed greybox fuzzing,
Reference 39
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 86c1cc6e-b575-458b-bf0c-144256673e06 · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models SAGE: whitebox fuzzing for security testing,
Reference 40
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 8b7d1a2b-aeea-4494-9a42-ca45dbc409e2 · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models American fuzzy lop (AFL) fuzzer,
Reference 41
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 31516644-7f4e-49df-8582-bd01d8bf50f0 · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Automatic patch- based exploit generation is possible: Techniques and implications,
Reference 42
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation d32ac8ff-7d1e-45f8-94ed-3af6830b8c4a · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Learning to fuzz from symbolic execution with application to smart contracts,
Reference 43
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 9586757f-a3c6-421c-a7ef-8ceec3d9c03e · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Symbolic execution with test cases generated by large language models,
Reference 44
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 782624f9-21be-4ce0-9be9-0e245c9ea5b8 · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models SymGPT: Auditing smart contracts via combining symbolic execution with large language models,
Reference 45
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation fd147f90-c3dd-4c34-be36-4a98edadfdcd · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models FaultLine: Automated Proof-of-Vulnerability Generation Using LLM Agents
Reference 46
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6f8b9500-e266-495f-83a8-ce84e145b642 · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models PwnGPT: Automatic exploit generation based on large language models,
Reference 47
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation d4c03506-3b25-429d-9233-778ee67aa219 · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models PentestGPT: Evaluating and harnessing large language models for automated penetration testing,
Reference 48
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 0e5df8af-5224-4dc8-969f-edca350d66ed · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Gollum: Modular and greybox exploit generation for heap overflows in interpreters,
Reference 49
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 52172ce3-8bcc-4438-8cfc-f61b81ad2ddd · outbound
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models AAHEG: Automatic advanced heap exploit generation based on abstract syntax tree,
Reference 50
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
No inbound Pith citation observations are available.