Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning | Paper Citation Record

Observation db16997d-f75a-4f8e-a7fe-39bc9b700d66 · outbound

This paper cites GPT-4 Technical Report.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning GPT-4 Technical Report

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T11:14:59.070218Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 35af97fc-87d8-4312-a181-53a7cc16359e · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T11:14:59.188216Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d13df3e-c28a-4756-a1cb-e2ef4d079ca1 · outbound

This paper cites Performance Prediction for Large Systems via Text-to-Text Regression.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Performance Prediction for Large Systems via Text-to-Text Regression

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T11:14:59.305854Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5505bf5-2382-4ac3-9d7e-1a7e71299185 · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T11:14:59.402874Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e1bd5a7-a9c1-401e-90c3-a2360493e2f2 · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T11:14:59.477320Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84725537-852c-47a6-b27d-5ac3754f5fe3 · outbound

This paper cites FullStack Bench: Evaluating LLMs as Full Stack Coders.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning FullStack Bench: Evaluating LLMs as Full Stack Coders

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T11:14:59.621613Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd9b1119-f83a-46a6-8a98-75ec9c8c0782 · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T11:14:59.720582Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 75be4984-dff0-4852-9d74-832e621bf867 · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T11:14:59.777395Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 89c72879-139e-4165-9e56-e42871fc0f58 · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T11:14:59.909279Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c1b3722-7182-4140-a4f7-93de6c6b009a · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 10

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c16614e-0527-44a1-9ea4-7a89f9e89a19 · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 11

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a33e1a7b-9d24-4bfe-962f-6b62bf734404 · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 12

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 834543a6-509e-4a2e-bfff-68e8d3761980 · outbound

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

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Towards Translating Real-World Code with LLMs: A Study of Translating to Rust

Reference 13

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b41659ca-c605-4450-bd8e-85a98af99177 · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 14

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e2743c7-e33d-46c6-b6aa-a2b93ebdde41 · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 15

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 275e65dc-2649-454a-ba5c-db2bd0dff435 · outbound

This paper cites 2026.Luo-feng-hitsz/TRA VEL: v1.0.0.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning 2026.Luo-feng-hitsz/TRA VEL: v1.0.0

Reference 16

Resolution: verified exact; doi, observed 2026-08-01T11:19:00.014918Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 95cf213b-f97a-48aa-8d41-c49f13ae3a8c · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 17

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 79bb39c5-8045-4a7c-88c4-0d7df6d3834a · outbound

This paper cites Raw Pointer Rewriting with LLMs for Translating C to Safer Rust.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Raw Pointer Rewriting with LLMs for Translating C to Safer Rust

Reference 18

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 275cd2c6-9896-461e-94de-1ae8322f0220 · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 19

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 06185f8e-bd32-4c0c-afb8-5b7d7b32dce6 · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 20

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c48c0425-84b8-4ed8-94f8-68b15eed3ece · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 21

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb0232ba-2186-41d7-9ce2-72c0ffb1258a · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 22

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 799c784e-9d40-4b8c-ab8b-20a0cb70a969 · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 23

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d3653a2-b33d-4317-945c-0d4155673afe · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 24

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd39ad04-3511-4533-ba4e-c44bb7600cf8 · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 25

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32332b99-805a-4753-820a-27104774c272 · outbound

This paper cites Qwen2.5-Coder Technical Report.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Qwen2.5-Coder Technical Report

Reference 26

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d34d49a8-2386-4c03-b226-e04826acd9bb · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 27

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c2ee2086-7628-4a5f-9c30-2f8e22c73d8d · outbound

This paper cites Saiful Bari, Xuan Do Long, Weishi Wang, Md.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Saiful Bari, Xuan Do Long, Weishi Wang, Md

Reference 28

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c60a467d-d068-4ee1-981c-e5758dae4f4d · outbound

This paper cites Zakharov-Ito equation and Generalized Heisenberg ferromagnet-type equation: equivalence and related geometric curve flows.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Zakharov-Ito equation and Generalized Heisenberg ferromagnet-type equation: equivalence and related geometric curve flows

Reference 29

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8826237a-2a45-46b2-af55-85b49caa9f29 · outbound

This paper cites Cordy, and Ahmed E.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Cordy, and Ahmed E

Reference 30

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 91962220-4149-4aa7-ba2d-d131abbbec16 · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 31

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 28e85506-ddf5-4919-ac88-7cf14ade12e4 · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 32

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5157f74c-612f-465b-943b-fdc76bbaac9a · outbound

This paper cites Generative Reward Models.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Generative Reward Models

Reference 33

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84b8db2c-8788-4476-812d-c6af9dc08282 · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 34

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3874b410-b5df-4d11-ba06-06cf8147770b · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 35

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f7afa7a5-6da0-4a7b-9a04-a415ff2d3dfb · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 36

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a5bf02a-6576-4960-a958-77ede955f962 · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 37

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2dbb878d-c8a9-47a2-9f14-d549802491e4 · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 38

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5fdc82d8-7101-4010-8f64-171ad9cb05a5 · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 39

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d3c1be9-494e-42f9-92b0-52becc692cc0 · outbound

This paper cites HybridFlow: A Flexible and Efficient RLHF Framework.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning HybridFlow: A Flexible and Efficient RLHF Framework

Reference 40

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 216ed889-6d94-419c-81a4-9b2960c3a78c · outbound

This paper cites Seshia, and Koushik Sen.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Seshia, and Koushik Sen

Reference 41

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e2c6192d-1fd8-40e2-9196-c9844fddc1e8 · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 42

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 701b0c97-e8e0-44a4-a440-1d6b8625068b · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 43

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 50627b10-d90b-4fbd-865e-ca06dbe3340b · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 44

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31c505fc-46c7-4e03-811e-9a78eff60c26 · outbound

This paper cites CodeGemma: Open Code Models Based on Gemma.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning CodeGemma: Open Code Models Based on Gemma

Reference 45

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c7182536-81eb-46f1-82cd-bd77123ef8c8 · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 46

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 733e053d-9338-454f-b271-8eff065cd97b · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 47

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0b340e33-2a62-468f-96a7-e54c97722b1c · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 48

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d602da89-13d4-44ca-8d38-d7681039fcc8 · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 49

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7e3d3d55-88e3-454d-817b-b2ddd9d1bc28 · outbound

This paper cites Qwen3 Technical Report.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Qwen3 Technical Report

Reference 50

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

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

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

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.

Observation 57c6f390-e343-4a77-8319-086e2eeb2e20 · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 52

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2fe1221-9bad-48d0-b1c8-f29c6a7a079f · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 53

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 196b4728-e425-4c1f-bbd6-066bf47e83b1 · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 54

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a68534d5-fae4-42f8-b7e9-ec4a3149b1b5 · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 55

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b2c71d9-f666-46eb-ad44-a3dd399fc67a · outbound

This paper cites an unresolved cited work.

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Unresolved cited work

Reference 56

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a40062d4-0134-4de6-9289-8a7c32ce8363 · outbound

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

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.

Observation 0c9a4756-315a-415e-9718-e410345fcce6 · outbound

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

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning SafeTrans: LLM-assisted Transpilation from C to Rust

Reference 2025

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers