Paper Citation Record · LEDGER

AutoVerus: Automated Proof Generation for Rust Code

As of 12 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 11 inbound Pith citation observations for arXiv:2409.13082.

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

pith.paper-citation-record.v1
2409.13082 v3

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 11 of 11 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+00:00

measured 11 of 11 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-11T20:02:27.611847Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-01T21:26:13.996645Z

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 f89d3375-9436-46b1-9127-8a7cc00d813b · inbound

AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement cites this paper.

AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement AutoVerus: Automated Proof Generation for Rust Code

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-11T20:02:27.611847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9ab0751-cc2b-4d49-a2fd-d10c4d07bb3f · inbound

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

Formal Mathematical Reasoning: A New Frontier in AI AutoVerus: Automated Proof Generation for Rust Code

Reference 235

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 80daf7e1-e8ef-42a1-8164-6d44b2764c60 · inbound

RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation cites this paper.

RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation AutoVerus: Automated Proof Generation for Rust Code

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-08T19:47:52.334413Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 195d5823-d506-47d3-add2-a512adb2cbfe · inbound

Proving the Coding Interview: A Benchmark for Formally Verified Code Generation cites this paper.

Proving the Coding Interview: A Benchmark for Formally Verified Code Generation AutoVerus: Automated Proof Generation for Rust Code

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-08T18:20:22.558735Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f2ca1a21-7b3e-4f84-ba81-1dc516d970b3 · inbound

Locus: Agentic Predicate Synthesis for Directed Fuzzing cites this paper.

Locus: Agentic Predicate Synthesis for Directed Fuzzing AutoVerus: Automated Proof Generation for Rust Code

Reference 99

Resolution: unresolved; no resolver link, observed 2026-08-05T14:29:49.519096Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 902ded31-8ece-4078-8d83-45f50ee9c836 · inbound

AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification cites this paper.

AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification AutoVerus: Automated Proof Generation for Rust Code

Reference 80

Resolution: verified exact; arxiv_id, observed 2026-05-12T06:21:28.094022Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation b36e65c3-15ca-4b8f-9235-282be036a169 · inbound

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

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems AutoVerus: Automated Proof Generation for Rust Code

Reference 57

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation ec5e2af3-4620-470c-8b68-871212903b64 · inbound

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

Automating Formal Verification with Reinforcement Learning and Recursive Inference AutoVerus: Automated Proof Generation for Rust Code

Reference 72

Resolution: metadata mismatch; arxiv_id, observed 2026-06-28T23:52:49.247262Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 4bc48ef6-11d7-400d-8b57-ecaa824eb023 · inbound

FVSpec: Real-World Property-Based Tests as Lean Challenges cites this paper.

FVSpec: Real-World Property-Based Tests as Lean Challenges AutoVerus: Automated Proof Generation for Rust Code

Reference 10

Resolution: verified exact; arxiv_id, observed 2026-07-01T21:26:13.998050Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 56993bde-6c73-4041-9428-041d84c5da36 · inbound

HarnessLLM: Rust Verification Harness Generation with Large Language Models cites this paper.

HarnessLLM: Rust Verification Harness Generation with Large Language Models AutoVerus: Automated Proof Generation for Rust Code

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-01T05:40:36.588772Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4f17e239-58ab-4043-8996-4726155f9e03 · inbound

An AI Approach to Verified Production Cryptographic Libraries cites this paper.

An AI Approach to Verified Production Cryptographic Libraries AutoVerus: Automated Proof Generation for Rust Code

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:16.252109Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.