Paper Citation Record · LEDGER

A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification

As of 15 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 8 inbound Pith citation observations for arXiv:2305.14752.

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

pith.paper-citation-record.v1
2305.14752 v2

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 8 of 8 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+00:00

measured 8 of 8 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-12T10:24:29.818922Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-05T05:35:06.968744Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation a34b6067-8334-4f0e-8432-736af7136e59 · inbound

VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models cites this paper.

VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-12T10:24:29.818922Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d31316b-9ea2-402c-be03-31ad87329721 · inbound

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models cites this paper.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.644683Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c95c69f-c07f-428a-b6cb-3752761aaac8 · inbound

SoK: Towards Effective Automated Vulnerability Repair cites this paper.

SoK: Towards Effective Automated Vulnerability Repair A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification

Reference 119

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.460254Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd923c11-2a54-4014-8787-8467a1ccebc0 · inbound

Resource-Efficient & Effective Code Summarization cites this paper.

Resource-Efficient & Effective Code Summarization A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-09T04:23:34.212527Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 584c827c-a2c4-4487-bd2f-5ebf92797909 · inbound

Leveraging Large Language Models for Command Injection Vulnerability Analysis in Python: An Empirical Study on Popular Open-Source Projects cites this paper.

Leveraging Large Language Models for Command Injection Vulnerability Analysis in Python: An Empirical Study on Popular Open-Source Projects A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-07T15:29:09.268041Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 01341038-6d0f-4732-9de9-1dfd2ac7673c · inbound

A Short Survey on Formalising Software Requirements using Large Language Models cites this paper.

A Short Survey on Formalising Software Requirements using Large Language Models A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.256730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 149e91ff-fc28-4485-88e4-04b43d8e9eff · inbound

AI-Assisted Modeling: DSL-Driven AI Interactions cites this paper.

AI-Assisted Modeling: DSL-Driven AI Interactions A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification

Reference 11

Resolution: verified exact; local_arxiv, observed 2026-08-05T05:35:06.972872Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 0398e4bb-d8f0-426b-9d48-b71702d89edc · inbound

WildCode Revisited: A Comprehensive Empirical Study on the Security of LLM-Generated Code cites this paper.

WildCode Revisited: A Comprehensive Empirical Study on the Security of LLM-Generated Code A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-03T18:41:20.840152Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.