Paper Citation Record · LEDGER

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

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

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

pith.paper-citation-record.v1
2412.14234 v2

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-09T06:31:02.800959+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-05T22:28:15.514397Z

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

2
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 59386086-e20c-4f6d-857a-8b7ccbe31ba5 · inbound

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

SafeTrans: LLM-assisted Transpilation from C to Rust Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis

Reference 39

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation f5ef4c52-fb3b-4f2c-8e52-5cdc994fe3ff · 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 Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis

Reference 25

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 268a52ee-a2dd-4751-a5f3-5622cdecdf97 · inbound

Vibration-Based Energy Metric for Restoring Needle Alignment in Autonomous Robotic Ultrasound cites this paper.

Vibration-Based Energy Metric for Restoring Needle Alignment in Autonomous Robotic Ultrasound Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-05T22:28:15.514397Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 236f4f9e-9e11-4ad0-8217-52c27f16e393 · inbound

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

Project-Level C-to-Rust Translation via Pointer Knowledge Graphs Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis

Reference 23

Resolution: metadata mismatch; arxiv_id, observed 2026-05-18T08:31:06.648403Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 3479e74f-8538-4313-b76a-9e85f12db8cd · 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 Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis

Reference 39

Resolution: malformed identifier; arxiv_id, observed 2026-05-13T20:13:13.436267Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation b4019cc3-5c1e-4ef1-87ad-c3d42e68bd27 · 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 Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis

Reference 17

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 17be2b71-ff9f-429f-863a-1cf08de77058 · 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 Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis

Reference 63

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 4fdf2ac1-78f6-4256-98a5-ccf1de591537 · inbound

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

ORBIT: Guided Agentic Orchestration for Autonomous C-to-Rust Transpilation Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis

Reference 18

Resolution: metadata mismatch; arxiv_id, observed 2026-05-11T10:46:05.156906Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 91d4e8ed-05a8-4b07-8de1-4a9c1805cafb · 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 Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis

Reference 52

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 2d469c0a-87fb-4467-bffe-e4a1a768489a · inbound

Mostly Automatic Translation of Language Interpreters from C to Safe Rust cites this paper.

Mostly Automatic Translation of Language Interpreters from C to Safe Rust Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis

Reference 44

Resolution: metadata mismatch; arxiv_id, observed 2026-07-04T15:39:56.811339Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation a40062d4-0134-4de6-9289-8a7c32ce8363 · 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 Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis

Reference 2024

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.