Paper Citation Record · LEDGER

Laurel: Unblocking Automated Verification with Large Language Models

As of 19 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 14 inbound Pith citation observations for arXiv:2405.16792.

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

pith.paper-citation-record.v1
2405.16792 v2

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 14 of 14 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00

measured 14 of 14 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-16T05:28:32.000131Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-10T06:15:00.866473Z

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 dd710776-8593-4146-ac86-9fba7655093f · inbound

Formal Mathematical Reasoning: A New Frontier in AI cites this paper.

Formal Mathematical Reasoning: A New Frontier in AI Laurel: Unblocking Automated Verification with Large Language Models

Reference 162

Resolution: unresolved; no resolver link, observed 2026-08-11T10:51:30.174620Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67bfc8cc-d15b-41ea-9e34-6c59dd6d9388 · inbound

From Scientific Texts to Verifiable Code: Automating the Process with Transformers cites this paper.

From Scientific Texts to Verifiable Code: Automating the Process with Transformers Laurel: Unblocking Automated Verification with Large Language Models

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-10T21:18:02.227845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation abe16ec6-a471-46a6-b540-37f47689c0d6 · inbound

Dafny as Verification-Aware Intermediate Language for Code Generation cites this paper.

Dafny as Verification-Aware Intermediate Language for Code Generation Laurel: Unblocking Automated Verification with Large Language Models

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-10T21:11:51.300216Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 299ca29c-efba-49b7-8bb2-fc078c31a5a7 · inbound

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis cites this paper.

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis Laurel: Unblocking Automated Verification with Large Language Models

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-16T05:28:32.000131Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7bf44895-3b0d-4250-975b-1e302e32237b · inbound

Formalising Software Requirements using Large Language Models cites this paper.

Formalising Software Requirements using Large Language Models Laurel: Unblocking Automated Verification with Large Language Models

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-07T04:22:32.604934Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6220d133-8bee-4e03-95e8-d913d98b8621 · 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 Laurel: Unblocking Automated Verification with Large Language Models

Reference 37

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0e629ca1-44ac-4c13-bd21-c663e50ffc53 · inbound

Image Segmentation with Large Language Models: A Survey with Perspectives for Intelligent Transportation Systems cites this paper.

Image Segmentation with Large Language Models: A Survey with Perspectives for Intelligent Transportation Systems Laurel: Unblocking Automated Verification with Large Language Models

Reference 122

Resolution: unresolved; no resolver link, observed 2026-08-15T19:58:00.671158Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 86b06909-ac8a-47f9-b79e-ead1ad000b38 · inbound

Working Document -- Formalising Software Requirements with Large Language Models cites this paper.

Working Document -- Formalising Software Requirements with Large Language Models Laurel: Unblocking Automated Verification with Large Language Models

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.771399Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0119fc7d-7455-473b-ae87-1574d5fc2fee · inbound

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects cites this paper.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Laurel: Unblocking Automated Verification with Large Language Models

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-06T16:13:51.470873Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f17cad0-0862-4371-8702-bc753be5fe55 · inbound

VeruSAGE: A Study of Agent-Based Verification for Rust Systems cites this paper.

VeruSAGE: A Study of Agent-Based Verification for Rust Systems Laurel: Unblocking Automated Verification with Large Language Models

Reference 26

Resolution: verified exact; arxiv_id, observed 2026-05-16T21:08:33.080928Z

Source-reported events for the cited work

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

Observation 7fb02ff6-d962-42b7-8a69-3d6d9f25b00c · inbound

Nidus: Externalized Reasoning for AI-Assisted Engineering cites this paper.

Nidus: Externalized Reasoning for AI-Assisted Engineering Laurel: Unblocking Automated Verification with Large Language Models

Reference 6

Resolution: verified exact; arxiv_id, observed 2026-05-10T23:05:48.380841Z

Source-reported events for the cited work

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

Observation e3dc109e-7fb1-45e8-bcbe-1a6f578e07ba · inbound

SpecRL: Reinforcement Learning with Test-Based Completeness Rewards for Formal Specification Synthesis cites this paper.

SpecRL: Reinforcement Learning with Test-Based Completeness Rewards for Formal Specification Synthesis Laurel: Unblocking Automated Verification with Large Language Models

Reference 38

Resolution: malformed identifier; arxiv_id, observed 2026-05-10T23:30:50.832075Z

Source-reported events for the cited work

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

Observation 9fa2d7ba-7925-45aa-8b62-ad4977e0bd89 · inbound

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems cites this paper.

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems Laurel: Unblocking Automated Verification with Large Language Models

Reference 34

Resolution: verified exact; arxiv_id, observed 2026-05-25T04:55:23.697124Z

Source-reported events for the cited work

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

Observation 00dc80d6-74c5-474d-9376-151ad0bedf7e · inbound

Automating Formal Verification with Reinforcement Learning and Recursive Inference cites this paper.

Automating Formal Verification with Reinforcement Learning and Recursive Inference Laurel: Unblocking Automated Verification with Large Language Models

Reference 95

Resolution: verified exact; arxiv_id, observed 2026-06-28T23:52:48.490447Z

Source-reported events for the cited work

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