Pith. sign in

Paper Citation Record · LEDGER

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2608.04217 v1

Coverage vector

measured 50 of 50 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-08T00:18:01.666711Z

measured 50 of 50 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

50 of 50 outbound references displayed

  • verified exact1
  • verified fuzzy42
  • unresolved7
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation afae6b42-acb6-4da3-a2dc-d2608919d70c · outbound

This paper cites National vulnerability database (NVD) dashboard,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models National vulnerability database (NVD) dashboard,

Reference 1

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.761229Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.422178Z digest=sha256:48c81dc0c435fc8b317e8a246f5465c9e4ddcf41f36ea06af182475b8c72f2f4

Observation 7ce9e65c-d341-4b79-a4e0-ee998659832f · outbound

This paper cites Software vulnerability: Impact & ways to avoid it,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Software vulnerability: Impact & ways to avoid it,

Reference 2

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.745523Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.427708Z digest=sha256:058d186957987453d6dcba1691bd6c99626197ce0207583527f5e4d39029a119

Observation 54a7ff8f-ae0b-47b7-a09c-264ef0b3cc8e · outbound

This paper cites Examining zero-shot vulnerability repair with large language models,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Examining zero-shot vulnerability repair with large language models,

Reference 3

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.729165Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.432449Z digest=sha256:7d899b33006d7406dd5d495d28bbbd1681364a3232344a8632b66bcdb1c78f48

Observation cab2073f-47af-4fdb-9e2e-363c97598edc · outbound

This paper cites Large Language Model for Vulnerability Detection and Repair: Literature Review and the Road Ahead.

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

Resolution
unresolved
no resolver link, observed 2026-08-08T00:18:01.438011Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-08T00:18:01.438011Z digest=sha256:a339ffb1510e1139d9a7469c1d45f40fe45f1db1c2b7d0dd533378aff8f4ea4f

Observation 78203a7c-16cb-4f07-9b58-36f26123fdf5 · outbound

This paper cites How effective are neural networks for fixing security vulnerabilities,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models How effective are neural networks for fixing security vulnerabilities,

Reference 5

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.713216Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.443709Z digest=sha256:5effb7a8d61823fd5b08551b9222306e1a7b4f11ada6d18d31f2ace2b84d409f

Observation ec71d581-d6f5-4dbb-a61b-1db8576bfcd4 · outbound

This paper cites ARVO: Atlas of Reproducible Vulnerabilities for Open-Source Software.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models ARVO: Atlas of Reproducible Vulnerabilities for Open-Source Software

Reference 6

Resolution
unresolved
no resolver link, observed 2026-08-08T00:18:01.449981Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-08T00:18:01.449981Z digest=sha256:6b0bb12202045bb5675fd17b425f210aa68e0243923b36be9d8ba7ab741d3ea2

Observation 12008800-e351-43bb-8ecc-c8c2aebe3659 · outbound

This paper cites A large-scale empirical study of security patches,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models A large-scale empirical study of security patches,

Reference 7

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.697808Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.455876Z digest=sha256:3ccff6abccd9c5e92205b51d9e54ca5c72f5888113f461fd5d3e81e60730a578

Observation 9ee24911-5d1e-41dc-8a1d-f1dc247ddad0 · outbound

This paper cites Veribin: Adaptive verification of patches at the binary level.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Veribin: Adaptive verification of patches at the binary level

Reference 8

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.682585Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.460611Z digest=sha256:6d8cbc314f9da5ac2ac455dbb1892f56ab2d06ce79bf6f11d8d2cb197e4be628

Observation 5dbb356e-c886-4f3c-9486-e28b09af81b5 · outbound

This paper cites The shrinking window for vulnerability exploitation: Why automated patching is critical,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models The shrinking window for vulnerability exploitation: Why automated patching is critical,

Reference 9

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.667510Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.465419Z digest=sha256:ec027acf49fd17f80f632587511c9abb7ad86c073b8af8ab5c425bc58749c47e

Observation 031d8093-cbff-4d57-a4fd-c3562f3a20cb · outbound

This paper cites OSS-Fuzz-google’s continuous fuzzing service for open source software,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models OSS-Fuzz-google’s continuous fuzzing service for open source software,

Reference 10

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.652469Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.470126Z digest=sha256:f4b9654ef88abce1876858499e3e327898613c67231cc73a97e0fe19858dbab6

Observation 18dcdd8d-b8f5-45be-8a62-58b3278fd840 · outbound

This paper cites Driller: Augmenting fuzzing through selective symbolic execution,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Driller: Augmenting fuzzing through selective symbolic execution,

Reference 11

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.635104Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.475059Z digest=sha256:c78d6389c6c52478eeedd1acebf4c3eef92ae841d76002e8b099ac5caa135e54

Observation f0171c3b-c0b0-496c-867d-959f98e0d56d · outbound

This paper cites KLEE: unassisted and auto- matic generation of high-coverage tests for complex systems programs.

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

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.617721Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.480106Z digest=sha256:5f0189c745bf0447ee25cade74b78db35c852a367612d93e45ff1af6557fa345

Observation 6bc8baf3-9a9a-43bc-bf9a-5eb54da4cbc0 · outbound

This paper cites PBAEG: combine-vulnerabilities aeg to defeat protection mechanisms,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models PBAEG: combine-vulnerabilities aeg to defeat protection mechanisms,

Reference 13

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.600458Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.485182Z digest=sha256:b617302d524d42b9ed08ccc2e979a45a6bc0ae7a9287b2d476d1b25c6af8a17a

Observation 23c642f8-744d-4c65-ba06-6c811b58aca5 · outbound

This paper cites FUGIO: Automatic exploit generation for PHP object injection vulnerabilities,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models FUGIO: Automatic exploit generation for PHP object injection vulnerabilities,

Reference 14

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.584886Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.490087Z digest=sha256:58affbd8bb5973e0b08f3cbc59cfe4e6ffd7e7b83912e63ec0a83b1037e8c041

Observation d6abe021-fb0f-4621-b10e-dd72376b04cc · outbound

This paper cites Automated exploit generation for Node.js packages,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Automated exploit generation for Node.js packages,

Reference 15

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.570092Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.494982Z digest=sha256:7dad1390f86c7ccc571fe332019486d51b6c62b5cbdc9973716c766a21abfe63

Observation 3383c15d-9fcb-4469-bb6c-133c065b9145 · outbound

This paper cites KOOBE: Towards facilitating exploit generation of kernel out-of-bounds write vulnerabilities,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models KOOBE: Towards facilitating exploit generation of kernel out-of-bounds write vulnerabilities,

Reference 16

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.555090Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.501074Z digest=sha256:cfbcd0308426e4d695197b9f387c1c627183b963d88ca24ba6e94e8e41ea2696

Observation 2584c810-c3a1-4c7f-8446-bd3c2972ab00 · outbound

This paper cites NA VEX: Precise and scalable exploit generation for dynamic web applications,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models NA VEX: Precise and scalable exploit generation for dynamic web applications,

Reference 17

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.540304Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.505797Z digest=sha256:3c6be133759506dcfa09076c6d76f80fb03385c1c537ba088be8367d8011c7a1

Observation b0bb4e4f-216e-4f7b-812e-bd40bd1b0c68 · outbound

This paper cites PoCGen: Generating Proof-of-Concept Exploits for Vulnerabilities in Npm Packages.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models PoCGen: Generating Proof-of-Concept Exploits for Vulnerabilities in Npm Packages

Reference 18

Resolution
unresolved
no resolver link, observed 2026-08-08T00:18:01.511143Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-08T00:18:01.511143Z digest=sha256:17cde8b83f7e131516b692a620545ddf115b7dd794b8161d772fe15967c60c48

Observation da0dc1cc-3f0e-4409-bb98-5f7a2952a50f · outbound

This paper cites Cottontail: Large language model-driven concolic execution for highly structured test input generation,.

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

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.525360Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.516145Z digest=sha256:d5795cf6edf2766173c5f8d3904527dfb471af05d58ffcddc34c59c9767b66b1

Observation d758dc99-78d0-42bc-a138-9baa72f2a5fb · outbound

This paper cites Agentic concolic execution,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Agentic concolic execution,

Reference 20

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.510347Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.520824Z digest=sha256:0f4b3dc6a2ae4f42e556023800f04e9723cb72e4d35e8e0d3a53843028688361

Observation 655c3d0d-7c85-4698-9559-ae3eb614a88e · outbound

This paper cites Large language model powered symbolic execution,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Large language model powered symbolic execution,

Reference 21

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.494775Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.525610Z digest=sha256:1a6b444040362d5fb93f69a515b3486be72629317d035a6af57f86bbf48cd6ab

Observation 69592568-b17b-4974-bc4c-89407caf1d4d · outbound

This paper cites National Vul- nerability Database (NVD),.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models National Vul- nerability Database (NVD),

Reference 22

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.479862Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.531011Z digest=sha256:928a6c4311406d0c30c69dae4f1942310869ecb54bf1cc0f1c7b7f0dc37d9beb

Observation 350b59ac-f35f-44c1-a50a-1ea35b6ad5aa · outbound

This paper cites The Exploit Database,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models The Exploit Database,

Reference 23

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.464630Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.535983Z digest=sha256:c25c700984e06db9fcf4d4f1f1dc43a30541af1874ebe707638176a384a7097d

Observation edda97a4-5f40-4e86-9622-f7ec9e52abe7 · outbound

This paper cites On the effectiveness of function-level vulnerability detectors for inter- procedural vulnerabilities,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models On the effectiveness of function-level vulnerability detectors for inter- procedural vulnerabilities,

Reference 24

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.449626Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.541260Z digest=sha256:5a4f9a93387bf07c90de9d5451ee89d64e1123eb080623202ac740c996972b26

Observation ded4ea22-e503-4535-97b2-c308f7e383a6 · outbound

This paper cites Interprocedural slicing using dependence graphs,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Interprocedural slicing using dependence graphs,

Reference 25

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.433665Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.545822Z digest=sha256:b42a42ef71b1019b5850305a09bb310f37b6272d79f01b612d6c936d28d92415

Observation 8524b284-aba5-405e-997e-3dbe4a4fdbfa · outbound

This paper cites Program Slicing in the Era of Large Language Models.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Program Slicing in the Era of Large Language Models

Reference 26

Resolution
unresolved
no resolver link, observed 2026-08-08T00:18:01.550573Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-08T00:18:01.550573Z digest=sha256:b51abafcea5c7285e5af2ab84b850de0471577ea9a88da9a51f3488bb9603406

Observation 4ab6e195-faba-4781-82d3-920d622abc43 · outbound

This paper cites A platform for robust analysis of c/c++ code,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models A platform for robust analysis of c/c++ code,

Reference 27

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.418141Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.555662Z digest=sha256:25b10dfdd0a82ac4d997b4b6252ea0d6e9604e7caf988d6b2a31e01fc944264e

Observation 4cbdd49e-bee7-492b-9d04-328df7627a1e · outbound

This paper cites SySeVR: A framework for using deep learning to detect software vulnerabilities,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models SySeVR: A framework for using deep learning to detect software vulnerabilities,

Reference 28

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.403432Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.560436Z digest=sha256:e443e7f860d8efe90aa68ca6f025e28de46810aaa49f23df03bdae39f7ef4178

Observation 5fd421c3-41c4-455b-a7e5-90fd16496fe3 · outbound

This paper cites GLM-5.2: An open-weight large language model,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models GLM-5.2: An open-weight large language model,

Reference 29

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.388381Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.565340Z digest=sha256:f7c08d34429370a5572ea5d7f3ad9a22e553633cd80cc4dbecd9525aa9cc9fb6

Observation 24dcc4c0-a1c5-42b3-81a7-99ef4987545c · outbound

This paper cites A wrapper script to build whole-program llvm bitcode files,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models A wrapper script to build whole-program llvm bitcode files,

Reference 30

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.365863Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.569824Z digest=sha256:f16ebc42c972fb1c29e716a88d9fb0a6d860a19353e924ea27c6aa5f834b7a04

Observation 14da6c1f-92b5-4523-aad4-4969a56390d2 · outbound

This paper cites SVF: interprocedural static value-flow analysis in llvm,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models SVF: interprocedural static value-flow analysis in llvm,

Reference 31

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.349686Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.574116Z digest=sha256:7679ffee8acfb42fbaf59988b8655f6a3b073922ec2495106448074615aa625e

Observation 21f34d2b-a9e8-4459-aa71-ed0afd918e82 · outbound

This paper cites Z3: An efficient smt solver,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Z3: An efficient smt solver,

Reference 32

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.333826Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.578465Z digest=sha256:926087e73cd16c443dfe6f8c7e7193bf2636746a8bf53fd180f751e478528d0e

Observation c1ecf960-f7d3-436f-a3ce-4e0f3f9709b6 · outbound

This paper cites Unsloth,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Unsloth,

Reference 33

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.318569Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.582893Z digest=sha256:58bf1eb0c4755af15f51d7054a3b76cc9a0f15e8fb2dcf42e60c0f60bb392b53

Observation 21643bf3-7f37-4567-8a61-4fe4d4972b01 · outbound

This paper cites Software verification: 10th comparative evaluation (SV- COMP 2021),.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Software verification: 10th comparative evaluation (SV- COMP 2021),

Reference 34

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.303461Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.587156Z digest=sha256:eacc97afaf2ee669b872f50b0de517136125646c7eda341891049113a1e35cca

Observation ced999ca-869f-40f2-856c-4be1249edcfb · outbound

This paper cites an unresolved cited work.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Unresolved cited work

Reference 35

Resolution
unresolved
raw_fallback, observed 2026-08-08T00:18:02.287215Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.591918Z digest=sha256:095a8f5d5718dacfa266ae3efbe0c170abf3e37e713fba8ca68675bd2a7d502f

Observation 425b1941-0d91-4331-9079-c7410041b2e9 · outbound

This paper cites an unresolved cited work.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Unresolved cited work

Reference 36

Resolution
unresolved
raw_fallback, observed 2026-08-08T00:18:02.271607Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.596555Z digest=sha256:fd97f27b5af28a31ba9f431ff6139ec57d9c46e8a3e3cd767e0ad241f2cc95c8

Observation 3dc08029-18c4-4d8a-ba16-9d3aa8d06cd6 · outbound

This paper cites Continuous fuzzing with libfuzzer and addresssanitizer,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Continuous fuzzing with libfuzzer and addresssanitizer,

Reference 37

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.255066Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.602397Z digest=sha256:5f07ec651ff738ee89fdcc6acd6bbb671e3bdffd601b368aaa55267795b5d126

Observation b86ef9e8-0913-4cab-93da-7b39771ae38d · outbound

This paper cites AFL++: Combining incremental steps of fuzzing research,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models AFL++: Combining incremental steps of fuzzing research,

Reference 38

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.238511Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.607361Z digest=sha256:fef9215b72555db442c864788f0043b80ac04e03893b10e6c099ff358dbc9c4c

Observation 24185701-2469-4145-a521-d68d6dd23b85 · outbound

This paper cites Directed greybox fuzzing,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Directed greybox fuzzing,

Reference 39

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.221424Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.612363Z digest=sha256:54a325822c02adea03353449e457a898cc7eff44f16019fb2a6cad78adee6475

Observation 86c1cc6e-b575-458b-bf0c-144256673e06 · outbound

This paper cites SAGE: whitebox fuzzing for security testing,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models SAGE: whitebox fuzzing for security testing,

Reference 40

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.203390Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.617499Z digest=sha256:fee362a59bce3ca8dbcc72471ca0ec5e4d319a51d0c5055c79b1d22798b426a0

Observation 8b7d1a2b-aeea-4494-9a42-ca45dbc409e2 · outbound

This paper cites American fuzzy lop (AFL) fuzzer,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models American fuzzy lop (AFL) fuzzer,

Reference 41

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.185255Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.622051Z digest=sha256:d53f06ecb48da5fb426491d425702a96f9429d7a6e1f6ca88c7b2fea2d3a4309

Observation 31516644-7f4e-49df-8582-bd01d8bf50f0 · outbound

This paper cites Automatic patch- based exploit generation is possible: Techniques and implications,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Automatic patch- based exploit generation is possible: Techniques and implications,

Reference 42

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.164201Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.627098Z digest=sha256:6530e58c249d2e3b63818ac12a7f3591d5cb5099355de16d30d435a943390766

Observation d32ac8ff-7d1e-45f8-94ed-3af6830b8c4a · outbound

This paper cites Learning to fuzz from symbolic execution with application to smart contracts,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Learning to fuzz from symbolic execution with application to smart contracts,

Reference 43

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.147029Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.632115Z digest=sha256:dbdba00b0aa2095847223827226fb168685648beb6e56ccfd341bd43a9edc88f

Observation 9586757f-a3c6-421c-a7ef-8ceec3d9c03e · outbound

This paper cites Symbolic execution with test cases generated by large language models,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Symbolic execution with test cases generated by large language models,

Reference 44

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.127400Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.637106Z digest=sha256:11745d8ddf3982cbc5142f8a9191f6422f3bf8811ee0249af3d89bea471fbabe

Observation 782624f9-21be-4ce0-9be9-0e245c9ea5b8 · outbound

This paper cites SymGPT: Auditing smart contracts via combining symbolic execution with large language models,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models SymGPT: Auditing smart contracts via combining symbolic execution with large language models,

Reference 45

Resolution
verified exact
raw_fallback, observed 2026-08-08T00:18:01.936442Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.642209Z digest=sha256:4279c748e678e11a22091d63e8f073c387266ac61cc35ae57999a1fb5ce50271

Observation fd147f90-c3dd-4c34-be36-4a98edadfdcd · outbound

This paper cites FaultLine: Automated Proof-of-Vulnerability Generation Using LLM Agents.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models FaultLine: Automated Proof-of-Vulnerability Generation Using LLM Agents

Reference 46

Resolution
unresolved
no resolver link, observed 2026-08-08T00:18:01.647091Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-08T00:18:01.647091Z digest=sha256:434c5d668737810f5e366c84adee7c40758582abf60bca735000e219e5eb7c5e

Observation 6f8b9500-e266-495f-83a8-ce84e145b642 · outbound

This paper cites PwnGPT: Automatic exploit generation based on large language models,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models PwnGPT: Automatic exploit generation based on large language models,

Reference 47

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.107275Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.652466Z digest=sha256:87f5ee2ccceee933dff7c4081d363bf3ca5ce54204cda460e652e763bfd2b6ba

Observation d4c03506-3b25-429d-9233-778ee67aa219 · outbound

This paper cites PentestGPT: Evaluating and harnessing large language models for automated penetration testing,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models PentestGPT: Evaluating and harnessing large language models for automated penetration testing,

Reference 48

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.089300Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.657072Z digest=sha256:ac13740e32facf79a14ad604a2b6fb794bd6995497dd2e20cb0a4e6b82e4d932

Observation 0e5df8af-5224-4dc8-969f-edca350d66ed · outbound

This paper cites Gollum: Modular and greybox exploit generation for heap overflows in interpreters,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models Gollum: Modular and greybox exploit generation for heap overflows in interpreters,

Reference 49

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.073568Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.661928Z digest=sha256:5c77e9158aa3c4252d53573ef4e2ec154ee37ab423249e2b94072268a652a4f7

Observation 52172ce3-8bcc-4438-8cfc-f61b81ad2ddd · outbound

This paper cites AAHEG: Automatic advanced heap exploit generation based on abstract syntax tree,.

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models AAHEG: Automatic advanced heap exploit generation based on abstract syntax tree,

Reference 50

Resolution
verified fuzzy
raw_fallback, observed 2026-08-08T00:18:02.056059Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-08T00:18:01.666711Z digest=sha256:7b3ab9ad6602c9220e291717a8adf61a7adfb90053f4a19aa46b45966559ad30

Pith citing papers

No inbound Pith citation observations are available.