Paper Citation Record · LEDGER

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

As of 17 August 2026, this Paper Citation Record lists 61 of 61 outbound references and 13 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 61 of 61 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-11T12:28:46.593006Z

measured 74 of 74 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+00:00

measured 13 of 13 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-15T21:32:07.780599Z

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

61 of 61 outbound references displayed

verified exact2
verified fuzzy1
unresolved58
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

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

Outbound references

Observation 108459c4-cad6-4100-98d0-62bec80e5fbf · outbound

This paper cites an unresolved cited work.

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

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:28:48.680635Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation ba4d0e1e-8fac-4f0d-9a8d-aa3e1998b106 · outbound

This paper cites an unresolved cited work.

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

Reference 2

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9c67eaa-4f91-48a0-83ed-e3ed28b35a24 · outbound

This paper cites an unresolved cited work.

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

Reference 3

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e2b65921-32fd-4f4b-b9f4-5abbec9787e7 · outbound

This paper cites an unresolved cited work.

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

Reference 4

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4211b028-62d6-4833-b132-7c985f3e3af7 · outbound

This paper cites Large Language Monkeys: Scaling Inference Compute with Repeated Sampling.

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis Large Language Monkeys: Scaling Inference Compute with Repeated Sampling

Reference 5

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bdcc2461-4d07-4d84-b421-1512e37501e0 · outbound

This paper cites an unresolved cited work.

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

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:28:48.645248Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation f403d872-5069-405d-bd15-45c13fac28c6 · outbound

This paper cites an unresolved cited work.

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

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:28:48.623522Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 69d05261-3a4e-4c0e-a525-a6a92d7b55a5 · outbound

This paper cites an unresolved cited work.

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

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:28:48.601479Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 6367e1fd-6a68-4799-8cf1-2af4ff764ec2 · outbound

This paper cites CodeT: Code Generation with Generated Tests.

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis CodeT: Code Generation with Generated Tests

Reference 9

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c2dbe94-0241-4edd-96a6-df7bbf7ef32d · outbound

This paper cites Teaching Large Language Models to Self-Debug.

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis Teaching Large Language Models to Self-Debug

Reference 10

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fa99df1f-8dce-4504-94ff-f7385a9c5112 · outbound

This paper cites Learning How Hard to Think: Input-Adaptive Allocation of LM Computation.

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis Learning How Hard to Think: Input-Adaptive Allocation of LM Computation

Reference 11

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e38e2f0-bbd3-4441-b4de-8c21ded62b36 · outbound

This paper cites an unresolved cited work.

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

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:28:48.575733Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation aaf49b62-05dc-450b-a617-78073362c204 · outbound

This paper cites Towards Translating Real-World Code with LLMs: A Study of Translating to Rust.

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis Towards Translating Real-World Code with LLMs: A Study of Translating to Rust

Reference 13

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cddcbefe-6da5-467f-885b-314369c72009 · outbound

This paper cites an unresolved cited work.

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

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:28:48.557746Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation cb1af5a9-954d-4a6e-a606-62d916c6b2ba · outbound

This paper cites an unresolved cited work.

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

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:28:48.537112Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation a66443f5-42e6-4be3-9200-b8d3c4846439 · outbound

This paper cites AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validation.

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validation

Reference 16

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9f85007-6477-420b-b84f-598a0e6f3f68 · outbound

This paper cites an unresolved cited work.

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

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:28:48.515221Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation c9c96f17-e384-4850-84d8-ac7868278306 · outbound

This paper cites an unresolved cited work.

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

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:28:48.492458Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 7fbd1b5b-dff7-4ab6-a556-6adc3080da78 · outbound

This paper cites an unresolved cited work.

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

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:28:48.471747Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 29c27c62-21c3-42bf-87d6-68466d1587bd · outbound

This paper cites LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code.

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code

Reference 20

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b3c18d30-2903-4743-9e17-d4659ccba765 · outbound

This paper cites an unresolved cited work.

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

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:28:48.446908Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 312ca022-658a-4c7e-aea7-5cd9bd810d6f · outbound

This paper cites an unresolved cited work.

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

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:28:48.427327Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 77bffae5-31ce-4e2f-b7c0-d167ee4fd2b5 · outbound

This paper cites LLM-Assisted Code Cleaning For Training Accurate Code Generators.

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis LLM-Assisted Code Cleaning For Training Accurate Code Generators

Reference 23

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1d3d77be-9919-4dcd-a3d8-bfc8de70e716 · outbound

This paper cites CoTran: An LLM-based Code Translator using Reinforcement Learning with Feedback from Compiler and Symbolic Execution.

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis CoTran: An LLM-based Code Translator using Reinforcement Learning with Feedback from Compiler and Symbolic Execution

Reference 24

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bcd7c3bd-054e-486e-bc13-891db1d8ec46 · outbound

This paper cites A Survey on Large Language Models for Code Generation.

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis A Survey on Large Language Models for Code Generation

Reference 25

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de585380-4559-48d2-be91-38b6f3b6c40e · outbound

This paper cites an unresolved cited work.

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

Reference 26

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0deee191-c23f-4f1c-8f99-6e226c4bdda7 · outbound

This paper cites an unresolved cited work.

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

Reference 27

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cec66eb3-28fb-4376-80d9-35d4a3701fd2 · outbound

This paper cites an unresolved cited work.

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

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:28:48.384515Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation d168924f-1748-42c7-8430-86cfcb79e84c · outbound

This paper cites an unresolved cited work.

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

Reference 29

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d086c521-9406-4748-9b2e-faafdee90912 · outbound

This paper cites an unresolved cited work.

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

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:28:48.330902Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation a180e753-599f-4a69-99b1-598a4ce6ac3d · outbound

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

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis Translating C To Rust: Lessons from a User Study

Reference 31

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 64244b97-ad3c-46af-aea4-0327e441ed2f · outbound

This paper cites an unresolved cited work.

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

Reference 32

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d73ac790-6792-4482-9e80-e8f364a3f4f2 · outbound

This paper cites Large Language Model-Based Agents for Software Engineering: A Survey.

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis Large Language Model-Based Agents for Software Engineering: A Survey

Reference 33

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a344d12-64ec-402f-add3-1cfe78529021 · outbound

This paper cites an unresolved cited work.

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

Reference 34

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 185188d0-0de4-4a54-9e2f-eab1f92ffaa3 · outbound

This paper cites an unresolved cited work.

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

Reference 35

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:28:48.290381Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 85fa6410-02ed-4a5a-be9e-843433c3ad3c · outbound

This paper cites an unresolved cited work.

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

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:28:48.270218Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 4d5fabf8-538c-42f3-95c3-22e6bd88090c · outbound

This paper cites an unresolved cited work.

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

Reference 37

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 370b7a6f-6efb-40fe-975d-bf271546266f · outbound

This paper cites an unresolved cited work.

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

Reference 38

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9b88d89-3be0-4da8-80a4-97cbc22c285a · outbound

This paper cites an unresolved cited work.

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

Reference 39

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:28:48.221812Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation f7a48476-a28e-44cc-b183-73deff3374ab · outbound

This paper cites an unresolved cited work.

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

Reference 40

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:28:48.201964Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation a63136bf-1ba5-4fd2-98d2-aadfd2854c8c · outbound

This paper cites an unresolved cited work.

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

Reference 41

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:28:48.181085Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation e8b33a72-d6f6-41c9-bde2-4917032c7380 · outbound

This paper cites Can Language Models Solve Olympiad Programming?.

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis Can Language Models Solve Olympiad Programming?

Reference 42

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 21259136-4510-437f-8c53-333821f40e0a · outbound

This paper cites an unresolved cited work.

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

Reference 43

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf26368f-d6d1-4601-a061-ab6ce0484830 · outbound

This paper cites an unresolved cited work.

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

Reference 44

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 74fd3cba-9ce5-4864-a43a-e0633119629c · outbound

This paper cites Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameters.

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameters

Reference 45

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10977fa6-4a5c-4db6-ad78-f67a2fe1732d · outbound

This paper cites an unresolved cited work.

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

Reference 46

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:28:48.144227Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 7f0f8f84-209b-4c82-85df-c41a4056347f · outbound

This paper cites an unresolved cited work.

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

Reference 47

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e6f2b94c-4552-44e7-b5f6-8f00919136a0 · outbound

This paper cites an unresolved cited work.

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

Reference 48

Resolution: verified exact; doi, observed 2026-08-11T12:28:46.785292Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation a78e8f5c-04c5-4cd2-a52d-62db5fea59aa · outbound

This paper cites an unresolved cited work.

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

Reference 49

Resolution: verified exact; doi, observed 2026-08-11T12:28:46.751697Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 2959638c-2a4d-4246-8aa6-a1a37272fb2f · outbound

This paper cites Planning In Natural Language Improves LLM Search For Code Generation.

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis Planning In Natural Language Improves LLM Search For Code Generation

Reference 50

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 50a3c48f-4e68-460d-b1e9-c9e3dae8bcdf · outbound

This paper cites OpenHands: An Open Platform for AI Software Developers as Generalist Agents.

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis OpenHands: An Open Platform for AI Software Developers as Generalist Agents

Reference 51

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5c992e6-78d2-4fd8-b6f3-1bde41466c1e · outbound

This paper cites Inference Scaling Laws: An Empirical Analysis of Compute-Optimal Inference for Problem-Solving with Language Models.

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis Inference Scaling Laws: An Empirical Analysis of Compute-Optimal Inference for Problem-Solving with Language Models

Reference 52

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 120dc224-651f-4eca-b071-94eff513857a · outbound

This paper cites an unresolved cited work.

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

Reference 53

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:28:48.126113Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

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

This paper cites VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners.

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 253998f8-fab4-44e1-bc5d-1886b12822c4 · outbound

This paper cites SWE-agent: Agent-Computer Interfaces Enable Automated Software Engineering.

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis SWE-agent: Agent-Computer Interfaces Enable Automated Software Engineering

Reference 55

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 004ed5ca-8c80-491f-bb17-2ed115f4221c · outbound

This paper cites Rectifier: Code Translation with Corrector via LLMs.

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

Reference 56

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c32f4f6-cad0-4bd0-adde-7e987ec1c216 · outbound

This paper cites Parsel: Algorithmic Reasoning with Language Models by Composing Decompositions.

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis Parsel: Algorithmic Reasoning with Language Models by Composing Decompositions

Reference 57

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a920ea95-c1a7-4d98-85c8-e53c125bdabe · outbound

This paper cites Scalable, Validated Code Translation of Entire Projects using Large Language Models.

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis Scalable, Validated Code Translation of Entire Projects using Large Language Models

Reference 58

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1d45ecbc-0018-4b33-bef6-5a91e8e74c1b · outbound

This paper cites Ownership guided C to Rust translation.

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

Reference 59

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4a492d74-e305-4aa8-a18e-addcfd0904a4 · outbound

This paper cites Scaling LLM Inference with Optimized Sample Compute Allocation.

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis Scaling LLM Inference with Optimized Sample Compute Allocation

Reference 60

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 079ab8dd-435a-40b6-b6a3-a4a3adea6654 · outbound

This paper cites squeeze.

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

Reference 61

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T12:28:48.105362Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Pith citing papers

Observation b8d8a8d5-48a3-427c-bf3c-1da7ee94eb38 · inbound

MigrationBench: Repository-Level Code Migration Benchmark from Java 8 cites this paper.

MigrationBench: Repository-Level Code Migration Benchmark from Java 8 Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-15T21:32:07.780599Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

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-17T06:30:58.91139+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-17T06:30:58.91139+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 1bb5ad3a-3748-4aff-a567-e0f9066267ca · 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 Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis

Reference 53

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

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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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.