Paper Citation Record · LEDGER

VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners

As of 22 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 21 inbound Pith citation observations for arXiv:2404.18852.

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

pith.paper-citation-record.v1
2404.18852 v2

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 21 of 21 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-22T06:32:14.747728+00:00

measured 21 of 21 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-16T11:34:54.085475Z

measured 1 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

1
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 7bfdb224-1d49-4028-a071-b0a0a8a4601c · inbound

Translating C To Rust: Lessons from a User Study cites this paper.

Translating C To Rust: Lessons from a User Study VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-12T15:30:26.991295Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d60a5353-cb52-4bfc-bfad-1e351bf8ac50 · inbound

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis cites this paper.

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-11T12:28:46.526535Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96fa6ba4-f809-4817-bc6b-23ec62764c4b · inbound

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

Formal Mathematical Reasoning: A New Frontier in AI VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners

Reference 282

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24b04019-00f7-4f24-b7cb-c218c686ef2e · inbound

C2RUST-BENCH: A Minimized, Representative Dataset for C-to-Rust Transpilation Evaluation cites this paper.

C2RUST-BENCH: A Minimized, Representative Dataset for C-to-Rust Transpilation Evaluation VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-16T11:34:54.085475Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94710226-49e3-4727-b3f4-fa28a516c322 · inbound

SafeTrans: LLM-assisted Transpilation from C to Rust cites this paper.

SafeTrans: LLM-assisted Transpilation from C to Rust VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners

Reference 46

Resolution: verified exact; arxiv_id, observed 2026-05-22T14:14:55.657189Z

Source-reported events for the cited work

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

Observation ab2443c5-c7a4-4af6-bac8-e2338cb56d52 · inbound

Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models cites this paper.

Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners

Reference 33

Resolution: verified exact; arxiv_id, observed 2026-05-22T14:36:40.854861Z

Source-reported events for the cited work

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

Observation 5d34d5a0-60f1-424a-9513-07095071464f · inbound

MatchFixAgent: Language-Agnostic Autonomous Repository-Level Code Translation Validation and Repair cites this paper.

MatchFixAgent: Language-Agnostic Autonomous Repository-Level Code Translation Validation and Repair VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners

Reference 82

Resolution: unresolved; no resolver link, observed 2026-08-15T15:53:18.482497Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 241cd59d-c6dc-4239-9c3f-d6753e807259 · inbound

Project-Level C-to-Rust Translation via Pointer Knowledge Graphs cites this paper.

Project-Level C-to-Rust Translation via Pointer Knowledge Graphs VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners

Reference 22

Resolution: verified exact; arxiv_id, observed 2026-05-18T08:31:06.610883Z

Source-reported events for the cited work

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

Observation e837e5ee-501a-4ffb-b18a-03a78c5ffec3 · inbound

Large Lemma Miners: Can LLMs do Induction Proofs for Hardware? cites this paper.

Large Lemma Miners: Can LLMs do Induction Proofs for Hardware? VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners

Reference 25

Resolution: verified exact; arxiv_id, observed 2026-05-18T01:35:36.395820Z

Source-reported events for the cited work

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

Observation a737c029-6861-4d9b-8154-e5e42b546b17 · inbound

Large Lemma Miners: Can LLMs do Induction Proofs for Hardware? cites this paper.

Large Lemma Miners: Can LLMs do Induction Proofs for Hardware? VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-04T00:14:49.908130Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a90a073-cfc9-404b-9cbb-919706d32173 · inbound

His2Trans: A Knowledge-Guided Agentic Framework for Project-Level C-to-Rust Migration cites this paper.

His2Trans: A Knowledge-Guided Agentic Framework for Project-Level C-to-Rust Migration VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-02T19:22:16.211069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6816eec-447d-4fcb-a9d9-86f7b67b16d6 · inbound

Dependency-Guided Repository-Level C-to-Rust Translation with Reinforcement Alignment cites this paper.

Dependency-Guided Repository-Level C-to-Rust Translation with Reinforcement Alignment VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners

Reference 45

Resolution: verified exact; arxiv_id, observed 2026-05-13T20:13:13.461232Z

Source-reported events for the cited work

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

Observation 244e0de5-d5e5-44b2-908d-3c1072950ee7 · inbound

ENCRUST: Encapsulated Substitution and Agentic Refinement on a Live Scaffold for Safe C-to-Rust Translation cites this paper.

ENCRUST: Encapsulated Substitution and Agentic Refinement on a Live Scaffold for Safe C-to-Rust Translation VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners

Reference 22

Resolution: verified exact; arxiv_id, observed 2026-05-10T21:55:48.755926Z

Source-reported events for the cited work

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

Observation 5cefb30e-11b9-4caa-8c94-b95fd88d5b61 · inbound

ReCodeAgent: A Multi-agent Workflow for Language-Agnostic Translation and Validation of Large-Scale Repositories cites this paper.

ReCodeAgent: A Multi-agent Workflow for Language-Agnostic Translation and Validation of Large-Scale Repositories VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners

Reference 92

Resolution: verified exact; arxiv_id, observed 2026-05-11T06:41:35.378378Z

Source-reported events for the cited work

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

Observation 2fa1b3f9-94d3-438a-b8e3-2e31b72589a0 · inbound

ORBIT: Guided Agentic Orchestration for Autonomous C-to-Rust Transpilation cites this paper.

ORBIT: Guided Agentic Orchestration for Autonomous C-to-Rust Transpilation VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners

Reference 15

Resolution: verified exact; arxiv_id, observed 2026-05-11T10:46:05.091595Z

Source-reported events for the cited work

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

Observation 5fc550e6-9818-4500-ba25-e33b33b85685 · inbound

LLM4C2Rust: Large Language Models for Automated Memory-Safe Code Transpilation cites this paper.

LLM4C2Rust: Large Language Models for Automated Memory-Safe Code Transpilation VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners

Reference 35

Resolution: verified exact; arxiv_id, observed 2026-05-10T10:29:24.600237Z

Source-reported events for the cited work

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

Observation 2def25a9-a93e-4f98-bdbc-3bab8f3abc0a · inbound

CodePivot: Bootstrapping Multilingual Transpilation in LLMs via Reinforcement Learning without Parallel Corpora cites this paper.

CodePivot: Bootstrapping Multilingual Transpilation in LLMs via Reinforcement Learning without Parallel Corpora VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners

Reference 79

Resolution: verified exact; arxiv_id, observed 2026-05-10T10:29:25.251369Z

Source-reported events for the cited work

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

Observation 2b60e9d8-29f2-4f4e-9e45-2eb4a0f492fc · inbound

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution cites this paper.

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners

Reference 16

Resolution: verified exact; arxiv_id, observed 2026-05-14T19:57:53.777430Z

Source-reported events for the cited work

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

Observation 0694c20e-ac2e-4c4f-8d3d-c41ac3802efa · inbound

Heimdall: Formally Verified Automated Migration of Legacy eBPF Programs to Rust cites this paper.

Heimdall: Formally Verified Automated Migration of Legacy eBPF Programs to Rust VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners

Reference 63

Resolution: verified exact; arxiv_id, observed 2026-06-29T22:04:00.083948Z

Source-reported events for the cited work

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

Observation a4e41339-1ebf-4d58-a910-7906ca538755 · inbound

The Periodic Table of LLM Reasoning: A Structured Survey of Reasoning Paradigms, Methods, and Failure Modes cites this paper.

The Periodic Table of LLM Reasoning: A Structured Survey of Reasoning Paradigms, Methods, and Failure Modes VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners

Reference 279

Resolution: verified exact; arxiv_id, observed 2026-07-03T05:57:41.591924Z

Source-reported events for the cited work

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

Observation 758df166-d808-4541-a8ef-5232d2531d00 · inbound

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning cites this paper.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-01T11:15:01.359031Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.