NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT | Paper Citation Record

Observation 4bf2107b-8c8c-4b27-aeb3-0d57b0d0c863 · outbound

This paper cites Program analysis and specialization for the C programming language.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT Program analysis and specialization for the C programming language

Reference 1

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a443be6-ab13-40a0-9551-39008d8566f4 · outbound

This paper cites cpio reader: record_hardlink() UAF/double-free regression —free(le) leaves dangling pointer in cpio->links_head.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT cpio reader: record_hardlink() UAF/double-free regression —free(le) leaves dangling pointer in cpio->links_head

Reference 2

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02deb69a-54ae-419d-aa4e-42a3a0ab28b7 · outbound

This paper cites 7zip writer: file_new() leaks file->utf16name on symlink utf-8 conversion failure.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT 7zip writer: file_new() leaks file->utf16name on symlink utf-8 conversion failure

Reference 3

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24d61095-a162-483a-a7d9-e3c6596a9c75 · outbound

This paper cites warcwriter: _warc_header()leaks archive_stringon _popul_ehdroverflow.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT warcwriter: _warc_header()leaks archive_stringon _popul_ehdroverflow

Reference 4

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f5ec3fa0-d746-4790-aa12-e0c912866ce9 · outbound

This paper cites xar reader: file_free() misses archive_string_free for fflags_text (heap leak).

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT xar reader: file_free() misses archive_string_free for fflags_text (heap leak)

Reference 5

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c48af957-bb30-48b1-a34d-84bec9a0d84e · outbound

This paper cites xar writer: make_fflags_entry() oob read into .rodata past string- literal null terminator.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT xar writer: make_fflags_entry() oob read into .rodata past string- literal null terminator

Reference 6

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2713a41f-e695-4bce-a474-33fe51320176 · outbound

This paper cites an unresolved cited work.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 42f36b26-75a8-46f6-a0c7-e1b396790dae · outbound

This paper cites QL: Object- oriented queries on relational data.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT QL: Object- oriented queries on relational data

Reference 8

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 180eeaf0-6d06-46f8-9a47-4d4ceae3b853 · outbound

This paper cites stb single-file public-domain libraries for C/C++.https://github.com/ nothings/stb, 2024.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT stb single-file public-domain libraries for C/C++.https://github.com/ nothings/stb, 2024

Reference 9

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 42d32b7c-d84b-40d5-ab03-74d9099695cf · outbound

This paper cites Formulog: Datalog for SMT-Based Static Analysis (Extended Version).

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT Formulog: Datalog for SMT-Based Static Analysis (Extended Version)

Reference 10

Resolution: verified exact; arxiv_id, observed 2026-06-28T20:32:37.468417Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 160379a5-a345-4139-b230-2ff0e3b504d7 · outbound

This paper cites Making Formulog Fast: An Argument for Unconventional Datalog Evaluation (Extended Version).

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT Making Formulog Fast: An Argument for Unconventional Datalog Evaluation (Extended Version)

Reference 11

Resolution: verified exact; arxiv_id, observed 2026-06-28T18:42:29.620546Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation ea81cb71-0a7e-48a4-b6d2-c94994c6e5d3 · outbound

This paper cites Strictly declarative specification of sophis- ticated points-to analyses.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT Strictly declarative specification of sophis- ticated points-to analyses

Reference 12

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd91bcd4-a10b-444b-9c5e-663cf0185148 · outbound

This paper cites Tree-sitter: An incremental parsing system for programming tools.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT Tree-sitter: An incremental parsing system for programming tools

Reference 13

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f7b0d40-e74f-4f83-a0e7-30833f153e6f · outbound

This paper cites an unresolved cited work.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 36a40357-c393-4594-8918-4d22119d148c · outbound

This paper cites Fink, and Manu Sridharan.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT Fink, and Manu Sridharan

Reference 15

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eddcb6fd-5f08-4d60-8ae3-be5f26742360 · outbound

This paper cites SOCKS4a long-username/hostname heap overflow (strcpy joint-bound check), hackerone disclosure.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT SOCKS4a long-username/hostname heap overflow (strcpy joint-bound check), hackerone disclosure

Reference 16

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a4be152-5467-4ff2-9cc5-64507913368a · outbound

This paper cites Z3: An efficient SMT solver.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT Z3: An efficient SMT solver

Reference 17

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a794b63-9ce4-4370-8986-8241b3185f4c · outbound

This paper cites Ernst, Jeff H.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT Ernst, Jeff H

Reference 18

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d8f91eb9-374a-4b17-8749-bd42beab86cb · outbound

This paper cites cJSON: An ultralightweight JSON parser in ANSI C.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT cJSON: An ultralightweight JSON parser in ANSI C

Reference 19

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c3484134-919e-4b93-a418-2c82f6175bf2 · outbound

This paper cites CVE-2023-45676: Integer overflow leading to heap-based buffer overflow in stb_vorbis comment-parsing path (GHSL-2023-166).https://nvd.nist.gov/ vuln/detail/CVE-2023-45676, 2023.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT CVE-2023-45676: Integer overflow leading to heap-based buffer overflow in stb_vorbis comment-parsing path (GHSL-2023-166).https://nvd.nist.gov/ vuln/detail/CVE-2023-45676, 2023

Reference 20

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a0e274de-7753-4294-b34a-a83222ac7549 · outbound

This paper cites CVE-2023-45681: Integer overflow in stb_vorbis comment-list alloca- tion (GHSL-2023-171).https://nvd.nist.gov/vuln/detail/CVE-2023-45681, 2023.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT CVE-2023-45681: Integer overflow in stb_vorbis comment-list alloca- tion (GHSL-2023-171).https://nvd.nist.gov/vuln/detail/CVE-2023-45681, 2023

Reference 21

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 59fa52f6-ff75-478b-b87d-0ed8a3388c1a · outbound

This paper cites Levin, and David Molnar.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT Levin, and David Molnar

Reference 22

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation acefad19-bd0c-4419-8a4f-c123ddf7a48b · outbound

This paper cites Magma: A Ground-Truth Fuzzing Benchmark,.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT Magma: A Ground-Truth Fuzzing Benchmark,

Reference 23

Resolution: verified exact; doi, observed 2026-06-28T18:42:28.433548Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 6754948a-bf60-40d1-84a3-d090ababf413 · outbound

This paper cites Soufflé: On synthesis of pro- gram analyzers.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT Soufflé: On synthesis of pro- gram analyzers

Reference 24

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d15f074c-8fa3-4179-a37c-2a1f4c817890 · outbound

This paper cites Failure sketching: A technique for automated root cause diagnosis of in-production failures.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT Failure sketching: A technique for automated root cause diagnosis of in-production failures

Reference 25

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7b23fa70-8728-42f5-b090-03a26ec8be94 · outbound

This paper cites libarchive: Multi-format archive and compression library.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT libarchive: Multi-format archive and compression library

Reference 26

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d22ccb9-f1d1-459f-8a10-b1ed93dc43f5 · outbound

This paper cites IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 27

Resolution: verified exact; arxiv_id, observed 2026-06-28T18:42:29.623484Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation a5c4e648-2e83-4ba3-8fa8-61ea6be7945e · outbound

This paper cites libFuzzer: A library for coverage-guided fuzz testing.https://llvm.org/ docs/LibFuzzer.html, 2024.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT libFuzzer: A library for coverage-guided fuzz testing.https://llvm.org/ docs/LibFuzzer.html, 2024

Reference 28

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e1e74c5e-9bc5-40cb-8d93-f73afa60c200 · outbound

This paper cites CVE-2023-38545: SOCKS5 heap buffer overflow in curl.https://nvd.nist.gov/ vuln/detail/CVE-2023-38545, 2023.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT CVE-2023-38545: SOCKS5 heap buffer overflow in curl.https://nvd.nist.gov/ vuln/detail/CVE-2023-38545, 2023

Reference 29

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b29cf75c-9187-40d4-b823-8f45cba83491 · outbound

This paper cites CVE-2023-53154: Heap buffer over-read in cJSON string parsing.https://nvd.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT CVE-2023-53154: Heap buffer over-read in cJSON string parsing.https://nvd

Reference 30

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation be022e63-1561-4c50-bbfa-994c4f2d24ce · outbound

This paper cites CVE-2025-10148: Predictable per-connection mask key in curl WebSocket.https: //nvd.nist.gov/vuln/detail/CVE-2025-10148, 2025.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT CVE-2025-10148: Predictable per-connection mask key in curl WebSocket.https: //nvd.nist.gov/vuln/detail/CVE-2025-10148, 2025

Reference 31

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 88838baf-5fd4-4f77-8a64-6dbb9bbf8363 · outbound

This paper cites CVE-2025-57052: Out-of-bounds access in cJSON json-pointer handling.https: //nvd.nist.gov/vuln/detail/CVE-2025-57052, 2025.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT CVE-2025-57052: Out-of-bounds access in cJSON json-pointer handling.https: //nvd.nist.gov/vuln/detail/CVE-2025-57052, 2025

Reference 32

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 14176202-f97a-453e-9bbd-a9d1f9f21a6d · outbound

This paper cites CVE-2025-6021: Integer overflow in libxml2xmlBuildQName.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT CVE-2025-6021: Integer overflow in libxml2xmlBuildQName

Reference 33

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9e14dddb-1082-4468-b162-5146b5a9de27 · outbound

This paper cites Precise interprocedural dataflow analysis via graph reachability.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT Precise interprocedural dataflow analysis via graph reachability

Reference 34

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a7209127-1d5e-4178-8c3d-27896b770d39 · outbound

This paper cites Top score on the wrong exam: On benchmarking in machine learning for vulnerability detection.Proc.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT Top score on the wrong exam: On benchmarking in machine learning for vulnerability detection.Proc

Reference 35

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 610c6737-a1a1-41a9-9ff4-66a068c4e245 · outbound

This paper cites arXiv:2408.12986.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT arXiv:2408.12986

Reference 36

Resolution: verified exact; doi, observed 2026-06-28T18:42:28.431246Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 874acfef-9158-437c-8d61-b0f009968575 · outbound

This paper cites Using likely invari- ants for automated software fault localization.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT Using likely invari- ants for automated software fault localization

Reference 37

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 067582fe-4cef-437f-844d-229aa1bbb342 · outbound

This paper cites Ad- dressSanitizer: A fast address sanity checker.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT Ad- dressSanitizer: A fast address sanity checker

Reference 38

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff1b8ba3-474d-41a8-a771-9fbfde3f9dfe · outbound

This paper cites Pinpoint: Fast and precise sparse value flow analysis for million lines of code.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT Pinpoint: Fast and precise sparse value flow analysis for million lines of code

Reference 39

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 647c7060-52b0-4ea8-a870-195f4a5e15ca · outbound

This paper cites and the Joern community.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT and the Joern community

Reference 40

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d7ca5614-44fe-4001-9893-803872b771d7 · outbound

This paper cites SoK: (state of) the art of war: Offensive techniques in binary analysis.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT SoK: (state of) the art of war: Offensive techniques in binary analysis

Reference 41

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 27bf03ad-19c9-4d06-910a-299fbf391720 · outbound

This paper cites xar: Fix writer oob accesses with fflags (resolves GHSA-wfvr-54j8-47r9).

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT xar: Fix writer oob accesses with fflags (resolves GHSA-wfvr-54j8-47r9)

Reference 42

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0878c726-8794-403f-997f-481bf2f2b437 · outbound

This paper cites an unresolved cited work.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT Unresolved cited work

Reference 43

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 95dcf803-9a2d-487d-9fc5-7e44bb501870 · outbound

This paper cites SVF: Interprocedural static value-flow analysis in LLVM.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT SVF: Interprocedural static value-flow analysis in LLVM

Reference 44

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 45661cca-53e1-4806-96df-b97bf122f7a8 · outbound

This paper cites FFmpeg: A complete, cross-platform solution to record, convert and stream audio and video.https://ffmpeg.org/, 2024.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT FFmpeg: A complete, cross-platform solution to record, convert and stream audio and video.https://ffmpeg.org/, 2024

Reference 45

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8bc831fc-0a30-45c7-bb45-d9bdffe96a3d · outbound

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

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT Cottontail: Large language model-driven concolic execution for highly structured test input generation

Reference 46

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f69641b6-ef71-455c-80cf-d64067e739a8 · outbound

This paper cites libxml2: The XML C parser and toolkit of Gnome.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT libxml2: The XML C parser and toolkit of Gnome

Reference 47

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 01659d96-1387-48a9-afdb-18b7a73feb08 · outbound

This paper cites an unresolved cited work.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT Unresolved cited work

Reference 48

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96ef1448-2055-402d-bce1-e9e6aaf964b2 · outbound

This paper cites Saturn: A SAT-based tool for bug detection.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT Saturn: A SAT-based tool for bug detection

Reference 49

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1082e5d5-a709-44e9-a3ac-fe400b335bfe · outbound

This paper cites Saturn: A scalable framework for error detection using Boolean satisfiability.ACM Transactions on Programming Languages and Systems (TOPLAS), 29 (3), 2007.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT Saturn: A scalable framework for error detection using Boolean satisfiability.ACM Transactions on Programming Languages and Systems (TOPLAS), 29 (3), 2007

Reference 50

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8f100da8-830e-47f0-a983-0a537a944aa0 · outbound

This paper cites f/i” is feasible/infeasible. “B flips.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT f/i” is feasible/infeasible. “B flips

Reference 51

Resolution: unresolved; no resolver link, observed 2026-06-28T18:38:42.922884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers