Paper Citation Record · LEDGER

LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks

As of 9 August 2026, this Paper Citation Record lists 23 of 23 outbound references and 0 inbound Pith citation observations for arXiv:2507.04931.

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

pith.paper-citation-record.v1
2507.04931 v1

Coverage vector

measured 23 of 23 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T19:39:30.549592Z

measured 23 of 23 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+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

23 of 23 outbound references displayed

verified exact1
verified fuzzy6
unresolved14
parse uncertain0
malformed identifier0
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation c681f836-3f8d-4ab9-9f40-dbb89b07cff6 · outbound

This paper cites an unresolved cited work.

LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks Unresolved cited work

Reference 1

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T19:39:31.713775Z

Source-reported events for the cited work

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

Observation 7820b0ff-d1ad-4d6d-876b-e58776b8af27 · outbound

This paper cites an unresolved cited work.

LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-06T19:39:33.677707Z

Source-reported events for the cited work

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

Observation e47cf6ea-2b49-4138-828c-2758dceaaa55 · outbound

This paper cites Say What You Mean: Natural Language Access Control with Large Language Models for Internet of Things.

LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks Say What You Mean: Natural Language Access Control with Large Language Models for Internet of Things

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-06T19:39:28.458679Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 83880ba6-0456-4d6e-8619-2b376491b54a · outbound

This paper cites Dutta, R.

LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks Dutta, R

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-06T19:39:28.572661Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 82b9015e-0a71-42a9-a3fd-4da2452869d7 · outbound

This paper cites Huang, X.

LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks Huang, X

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:39:33.527104Z

Source-reported events for the cited work

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

Observation 21eb1cd2-6c50-4e76-93f0-ce16dd6a6423 · outbound

This paper cites If LLMs Would Just Look: Simple Line-by-line Checking Improves Vulnerability Localization.

LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks If LLMs Would Just Look: Simple Line-by-line Checking Improves Vulnerability Localization

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-06T19:39:28.707271Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 28b9f3e4-45ef-4dd7-84ec-b6a6732f3e8a · outbound

This paper cites an unresolved cited work.

LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-06T19:39:33.205427Z

Source-reported events for the cited work

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

Observation 0a00ba29-0bd6-4211-abe1-738473458064 · outbound

This paper cites an unresolved cited work.

LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-06T19:39:28.800220Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 37a21be1-0637-49bc-9922-f4a74fb0bf87 · outbound

This paper cites Merckx, T.

LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks Merckx, T

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:39:33.088682Z

Source-reported events for the cited work

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

Observation 82e5952c-49ee-4227-890a-baad5f9d82f9 · outbound

This paper cites Nethercote and J.

LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks Nethercote and J

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:39:32.929315Z

Source-reported events for the cited work

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

Observation 4dfac3c1-e7fc-4945-adfb-d13ed21b60bf · outbound

This paper cites Pitigalaarachchi, X.

LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks Pitigalaarachchi, X

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:39:32.807568Z

Source-reported events for the cited work

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

Observation 0b6c9101-9f5c-4312-84e4-579ddc3798b3 · outbound

This paper cites Poeplau and A.

LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks Poeplau and A

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:39:32.645577Z

Source-reported events for the cited work

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

Observation b98aea2b-9efd-4bb7-b73d-9d63adb6e68d · outbound

This paper cites Shoshitaishvili, R.

LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks Shoshitaishvili, R

Reference 13

Resolution: verified exact; doi, observed 2026-08-06T19:39:30.785909Z

Source-reported events for the cited work

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

Observation d64da6ce-e3a2-4d37-a367-e8636966e5af · outbound

This paper cites an unresolved cited work.

LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-06T19:39:32.505138Z

Source-reported events for the cited work

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

Observation 9e0cd507-f029-49d0-9c72-cc59674ac1d4 · outbound

This paper cites an unresolved cited work.

LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-06T19:39:32.383340Z

Source-reported events for the cited work

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

Observation c3da8400-805f-42af-b9a1-3234c5e03004 · outbound

This paper cites an unresolved cited work.

LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-06T19:39:29.802134Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2edc64f5-350f-443a-a4f7-b3b7bbec1369 · outbound

This paper cites an unresolved cited work.

LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-06T19:39:29.921664Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a3852a48-72ba-4752-bab7-7ded685fdb02 · outbound

This paper cites On Protecting the Data Privacy of Large Language Models (LLMs): A Survey.

LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks On Protecting the Data Privacy of Large Language Models (LLMs): A Survey

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-06T19:39:30.085192Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ae1f82f-60a9-4b1d-9610-f52b3afda630 · outbound

This paper cites an unresolved cited work.

LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-06T19:39:31.945548Z

Source-reported events for the cited work

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

Observation 2a5ee85c-dcfd-49a7-9b27-a78b61c79086 · outbound

This paper cites an unresolved cited work.

LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-06T19:39:30.410762Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e4d850a8-c301-4635-b89f-6166d88ecc0a · outbound

This paper cites Zhang, M.

LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks Zhang, M

Reference 21

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T19:39:31.073108Z

Source-reported events for the cited work

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

Observation 8f09a274-4b27-46ec-9dcd-0ee658277f65 · outbound

This paper cites In Proceedings of the 2016 ACM SIGCOMM Conference.

LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks In Proceedings of the 2016 ACM SIGCOMM Conference

Reference 2016

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:39:32.202118Z

Source-reported events for the cited work

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

Observation f6a6b634-6202-40ae-9346-66a939e07f03 · outbound

This paper cites an unresolved cited work.

LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks Unresolved cited work

Reference 2023

Resolution: unresolved; raw_fallback, observed 2026-08-06T19:39:33.388775Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.