Paper Citation Record · LEDGER

AutoVerus: Automated Proof Generation for Rust Code

As of 1 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 5 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 5 of 5 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-01T06:32:01.292127+00:00

measured 5 of 5 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-01T05:40:36.588772Z

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 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-01T06:32:01.292127+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-01T06:32:01.292127+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-01T06:32:01.292127+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-01T06:32:01.292127+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.