Pith. sign in

Paper Citation Record · LEDGER

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

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.

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-08T06:32:00.761636+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-08T06:32:00.761636+00:00.

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

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-08T06:32:00.761636+00:00.

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

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-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-08T00:18:01.432449Z digest=sha256:9b517dbea3e2d7f4698b57ab5b91e8ca1351fb1500beddbc771153753588e452

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:5dd90671d3cdcef812642491799238909270dee0b71a72678d3d065efa725f13

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-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-08T00:18:01.443709Z digest=sha256:4d9c414072d6fd0ca6683e22f2997edd9a065823843c41428e12bc9dfa379b5a

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:57a2255e3afe448fbe59a5228f7136128319ff6fb66c1e4bfeac3d9399756122

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-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-08T00:18:01.455876Z digest=sha256:2c6babead22b4f95e3a99908b170dfffe7159c04278b3560b453be5e8e075f98

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-08T06:32:00.761636+00:00.

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

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-08T06:32:00.761636+00:00.

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

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-08T06:32:00.761636+00:00.

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

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-08T06:32:00.761636+00:00.

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

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-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-08T00:18:01.480106Z digest=sha256:856ad1e1697c6df51d4b8a776da080b89973e259fcc2278d6ff516850c97930e

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-08T06:32:00.761636+00:00.

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

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-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-08T00:18:01.490087Z digest=sha256:1aeaf770f75c1b13215aca715ddad834a97cf872d45a9b1eb84526453530f5a7

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-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-08T00:18:01.494982Z digest=sha256:368121768fc9aa6b422aca554f82467a244010499f5cc5fe29aa6af3d399ee1c

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-08T06:32:00.761636+00:00.

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

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-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-08T00:18:01.505797Z digest=sha256:0404428eda36d240e383ef5b73c7f9239dbe0f53af82239273430b70ab4ff024

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:9442569f2f8f6aae5c778042dd87e0bd543a8c86fe5da6881bdca4a802a353ce

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-08T06:32:00.761636+00:00.

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

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-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-08T00:18:01.520824Z digest=sha256:1f34ed7689e214ec09f9e8f5cdb0b1044bd8e52402c49fd487b6ea3a4073edbe

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-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-08T00:18:01.525610Z digest=sha256:6dc7af88160c624408fac16dc5266e62579aea9ae206e4e7c55ecab1b0a7abf1

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-08T06:32:00.761636+00:00.

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

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-08T06:32:00.761636+00:00.

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

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-08T06:32:00.761636+00:00.

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

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-08T06:32:00.761636+00:00.

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

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:efa3254c658f20471d9ddf0512d4d789aea63eea1858c4842245fe6bb85a0fc8

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-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-08T00:18:01.555662Z digest=sha256:09dbc80b6390c11c65d16af2ef82c2d13e507a335d0f1d1b3bb4ad72dc545426

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-08T06:32:00.761636+00:00.

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

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-08T06:32:00.761636+00:00.

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

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-08T06:32:00.761636+00:00.

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

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-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-08T00:18:01.574116Z digest=sha256:18098b53ede976572491476989381d3d172a77ffb3a7bacb9f3e87fd68a0af9e

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-08T06:32:00.761636+00:00.

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

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-08T06:32:00.761636+00:00.

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

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-08T06:32:00.761636+00:00.

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

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-08T06:32:00.761636+00:00.

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

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-08T06:32:00.761636+00:00.

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

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-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-08T00:18:01.602397Z digest=sha256:755b06eec4223b340bd33ce0555c7f386856c73c8cdf433019ca30626703ed08

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-08T06:32:00.761636+00:00.

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

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-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-08T00:18:01.612363Z digest=sha256:0465bdfbdfd850c70b81f4437fd814e8aa7cccc2eeb5b5ae89c346f282f7c840

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-08T06:32:00.761636+00:00.

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

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-08T06:32:00.761636+00:00.

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

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-08T06:32:00.761636+00:00.

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

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-08T06:32:00.761636+00:00.

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

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-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-08T00:18:01.637106Z digest=sha256:61f99b8e498693dbacc2267bab625281e2218b731881fe451c447feb4333c557

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-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-08T00:18:01.642209Z digest=sha256:7bd8e120b64d32977c4c5977370f7a61abd19f50863c43de36e49695659b1cef

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:3f62f1042b2e61bf480d6ce97fdbee472e1e040a163284da221b809b9a35213a

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-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-08T00:18:01.652466Z digest=sha256:920445ee91e678a5c9a48b09362aaf9820533f40d78045079d7874f6c4c5f7b6

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-08T06:32:00.761636+00:00.

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

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-08T06:32:00.761636+00:00.

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

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-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-08T00:18:01.666711Z digest=sha256:39cadecb0ebd10e3c83917ed4b98de329e801376ab5d70937c8ae8de1a9d25d6

Pith citing papers

No inbound Pith citation observations are available.