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

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:80effcd0128e45538b745da35938543d7e5f0612031fd8999d686fd34ac4f17a

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

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:7813f102f6135c68a5c2e4af4e3ed7909c230255f59c533c3ec7707b7d0a8160

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:49bf79a3158313a308943bf78f95c3029bb0ce41cb62cc0e1930047a8d58367b

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:22215ba73b7b7b65d8f34a2005d6e4a70a3862f26e19033ced8c09e20d1eccde

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:13662d0ea6694dfb8d99e1e61b0f471f25b4eef0fb44be196c0b6a59a27f88be

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

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

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:2e796efaaa8bba17d37198928e849aeff3d17ad57b30566e55faf7dafb316197

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:65c58d0588df286798ae24571cee7b5d2bbd22973f0cc074da5ebf8a3e2563aa

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:9217b0b70e07b980db18cdb38661c51cb62c6eadcffeeba9fa096853e1b375c8

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:56725340b53dc3903e66af12eb6297255bc9bc70e81d185f791376da71e036ee

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:974d0d49c6d23c815601ba532717b0eb4c0b95cd90034aaa74dbfc3ca041d873

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

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:1c564ae7eed71987ddc02c5e3df4eeb11b56e68955e1ace64ba202765c6d8d85

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

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:418e6d5aba2147716b960a2222c46d819213e50cae383372bea0e76918b6ac1e

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:10fe6747a84bb0ce3da34d09b7b9b47a7bcefbd6279a119d8b2b1c01ae8c0d60

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

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:19b4b49580df0bbdcd8f43336f86c135cc0cbd0f924575bfbc33f227bbe5a7a2

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:4fc482b7042135b809b38916662925ae5476018f93f58b6932e31a4b8c4be494

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:9a2a5ae72373769412dc356032b26763be531b51edafe74b920127fbfa2eee1b

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

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:4f20941db125cbfcb5bec156fcb9c007fd6a6141421a1158c2ab760bed86b7ec

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:812f7c19f6f67b2430ed0ba78d314263a9b8bffacc8113b94fe47d4ea0f87927

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

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:443a0c3e4ab022bac0a263254ef04a29c9408dba235e785d3493a82c090e1084

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:4d34a4eb522cca393909c0d356f980e8a2ed93999d149ec36e7f4c50ecfcf501

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

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

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

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

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:67787026e269cf4c650169077659dc71c10457399c53f154f2ac4797a33dfbc8

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:91677d035862dc5206efa2113dc0ec3a186130b94a34a638a0d583850c7b144e

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

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:27ced4f262e156740a5e719fd646a4c42b2162738ee6d027d8d4ae013a4b7e77

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

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:72785705a8e5ddd350ccb0fbcf0df3bacd34151575c58e4e77d062692c9e3673

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:38a9bd88e6410911aa2373857dee230f609af119c7efdaa33203bfffcee35967

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

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:79ba31084d4aa113fe12a412c706b191a069e748ed489f943a1e0c5428b7cb56

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

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:356abedb92bde7135336d9101c4240f61899c7040355b16e24e8172a4cba7eb3

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:3053ff07f16f73441e615d625ad618e5b3ea0a13994e26e45055c59e8fb4648e

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

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:723e82f90fefdfc3663a2092cc423d7b877099df994cdfb0fce4a17fcfa5670e

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:373af5f3ea09c612b2f8af52bee0ab4ecb061ee9ad11f49ece6c0f85f7425de6

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:1516b1fcf5b2efe22c47f0d2d8f8a1246efe6b7b72a74fcfa2e27c02833fbed5

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:2acb44d2517bd4272ae8e80a30f07010a60fc95399826f2e156bfb843842edac

Pith citing papers

No inbound Pith citation observations are available.