{"as_of":"2026-08-09T18:12:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:76637962dccf9cb692adac39b6d28faa69b980ce1df3931ddc7c2a043f0704e0","coverage":[{"denominator":58,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":58,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T11:15:01.394639Z","state":"measured"},{"denominator":58,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":58,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.19966/citation-record","integrity":"/paper/2607.19966/integrity","json":"/paper/2607.19966/citation-record.json","paper":"/paper/2607.19966"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-07T07:30:12.213965Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-08-01T11:14:59.070218Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T11:14:59.070218Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:befb117c5c012ee23b9655393a3ef392ee53ff3cd4845c4ccdc2ba00ff0db18e","observation_id":"db16997d-f75a-4f8e-a7fe-39bc9b700d66","resolution":{"observed_at":"2026-08-01T11:14:59.070218Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:14:59.188216Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-01T11:14:59.188216Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:c130cfc1493e83fb3f1f1d4f6a6da02621667fb50f83a94e633ccd6b64c218a2","observation_id":"35af97fc-87d8-4312-a181-53a7cc16359e","resolution":{"observed_at":"2026-08-01T11:14:59.188216Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2506.21718","last_updated":"2025-06-26T19:10:08Z","snapshot_observed_at":"2026-08-06T22:18:15.300394Z","submitted_at":"2025-06-26T19:10:08Z","title":"Performance Prediction for Large Systems via Text-to-Text Regression","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.21718","snapshot_observed_at":"2026-08-01T11:14:59.305854Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-01T11:14:59.305854Z"},"links":{"cited_paper":"/paper/2506.21718","citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:1a425a2e9aa71e802e3ea6e4aad0f7c1e8bff73ceb7d9e3eea31235119bfe7d5","observation_id":"6d13df3e-c28a-4756-a1cb-e2ef4d079ca1","resolution":{"observed_at":"2026-08-01T11:14:59.305854Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:14:59.402874Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-01T11:14:59.402874Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:e8d48d9d815e02b81182594ecaf55aa0e8d5710ed57326010d7418bfc0edbe4e","observation_id":"b5505bf5-2382-4ac3-9d7e-1a7e71299185","resolution":{"observed_at":"2026-08-01T11:14:59.402874Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:14:59.477320Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T11:14:59.477320Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:d317c72c912f669280a3cc2cdc48f4555266f3305953d0977230595f46cb555d","observation_id":"1e1bd5a7-a9c1-401e-90c3-a2360493e2f2","resolution":{"observed_at":"2026-08-01T11:14:59.477320Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.00535","last_updated":"2025-05-12T10:24:14Z","snapshot_observed_at":"2026-07-06T19:59:28.832182Z","submitted_at":"2024-11-30T16:58:42Z","title":"FullStack Bench: Evaluating LLMs as Full Stack Coders","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.00535","snapshot_observed_at":"2026-08-01T11:14:59.621613Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T11:14:59.621613Z"},"links":{"cited_paper":"/paper/2412.00535","citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:dc60f3a9aa63c955fc1520b963165db512fb254c90ce955024dcbdbab4874773","observation_id":"84725537-852c-47a6-b27d-5ac3754f5fe3","resolution":{"observed_at":"2026-08-01T11:14:59.621613Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:14:59.720582Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T11:14:59.720582Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:d50dc54cb6c6445b56b11ac17adadd121226fa2012ab2612833e6b51fe229750","observation_id":"cd9b1119-f83a-46a6-8a98-75ec9c8c0782","resolution":{"observed_at":"2026-08-01T11:14:59.720582Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:14:59.777395Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T11:14:59.777395Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:2d9018fa1dc443416310dad597bb316292d51b0a9ba25223bec60a703316ae78","observation_id":"75be4984-dff0-4852-9d74-832e621bf867","resolution":{"observed_at":"2026-08-01T11:14:59.777395Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:14:59.909279Z","title":null,"venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T11:14:59.909279Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:31937c3833bdfb069ba6dff7619885d176c878ddcbc16e3305ef2e7ce1a4971e","observation_id":"89c72879-139e-4165-9e56-e42871fc0f58","resolution":{"observed_at":"2026-08-01T11:14:59.909279Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:00.022445Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:00.022445Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:8181d58e8aa664a36e428888aff2421855fd226106201162efa9255ac7b80517","observation_id":"0c1b3722-7182-4140-a4f7-93de6c6b009a","resolution":{"observed_at":"2026-08-01T11:15:00.022445Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:00.094107Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:00.094107Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:cee5dab29af78a617ed2d5a2db3a3a401c01a464c5dd91f235f9220b29d794ff","observation_id":"0c16614e-0527-44a1-9ea4-7a89f9e89a19","resolution":{"observed_at":"2026-08-01T11:15:00.094107Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:00.210783Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:00.210783Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:6c4a3310f1ae11e74e1156c8153bbfddb6fefe434392dcfb2399256e7d831df9","observation_id":"a33e1a7b-9d24-4bfe-962f-6b62bf734404","resolution":{"observed_at":"2026-08-01T11:15:00.210783Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.11514","last_updated":"2025-04-17T17:18:24Z","snapshot_observed_at":"2026-07-06T18:16:20.122022Z","submitted_at":"2024-05-19T10:54:03Z","title":"Towards Translating Real-World Code with LLMs: A Study of Translating to Rust","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.11514","snapshot_observed_at":"2026-08-01T11:15:00.287341Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:00.287341Z"},"links":{"cited_paper":"/paper/2405.11514","citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:4bb66083b91c056e1ab9c396fb474b1b1a052469c7b677ac01efde733fadf166","observation_id":"834543a6-509e-4a2e-bfff-68e8d3761980","resolution":{"observed_at":"2026-08-01T11:15:00.287341Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:00.424425Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:00.424425Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:6206db56e2442a2064886e9d5ca8d05adf1972faac6e020ae8540145107a033d","observation_id":"b41659ca-c605-4450-bd8e-85a98af99177","resolution":{"observed_at":"2026-08-01T11:15:00.424425Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:00.564436Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:00.564436Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:aed3d403bbdd5de874e7c935b269b0ad165c3449a49526396760a57ecc881570","observation_id":"5e2743c7-e33d-46c6-b6aa-a2b93ebdde41","resolution":{"observed_at":"2026-08-01T11:15:00.564436Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.21132684","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:18:59.972714Z","title":"2026.Luo-feng-hitsz/TRA VEL: v1.0.0","venue":null,"work_id":"6a48f9b8-1531-4e3c-858f-9a962b220cec","year":2026},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:00.760989Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:fd813410df7ebd73816cb345c50e03de927933642dfcd1c98ffce47c496e3b14","observation_id":"275e65dc-2649-454a-ba5c-db2bd0dff435","resolution":{"observed_at":"2026-08-01T11:19:00.014918Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:00.843696Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:00.843696Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:90902702d239fa0c6dd60abf0286e1c5ff2cf5584fbabb5134a295ff2d784a00","observation_id":"95cf213b-f97a-48aa-8d41-c49f13ae3a8c","resolution":{"observed_at":"2026-08-01T11:15:00.843696Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.04852","last_updated":"2026-04-18T19:10:00Z","snapshot_observed_at":"2026-08-02T21:56:12.691414Z","submitted_at":"2025-05-07T23:30:27Z","title":"Raw Pointer Rewriting with LLMs for Translating C to Safer Rust","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.04852","snapshot_observed_at":"2026-08-01T11:15:01.011524Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.011524Z"},"links":{"cited_paper":"/paper/2505.04852","citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:35512789ec581f30fcbe25ebbb5d2544648568933e898cd12c78ac26d9b42d45","observation_id":"79bb39c5-8045-4a7c-88c4-0d7df6d3834a","resolution":{"observed_at":"2026-08-01T11:15:01.011524Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:01.077897Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.077897Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:3d26b4377cbf1bd48c6c97163c4a4e7279c1c8386514b0fa0f66c53a5b34a487","observation_id":"275cd2c6-9896-461e-94de-1ae8322f0220","resolution":{"observed_at":"2026-08-01T11:15:01.077897Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:01.100069Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.100069Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:4616ca31fa72a27aba1d0d0121f5cde3d05b6da0ef51dc21e59f50ba412cb765","observation_id":"06185f8e-bd32-4c0c-afb8-5b7d7b32dce6","resolution":{"observed_at":"2026-08-01T11:15:01.100069Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:01.136219Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.136219Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:02ab4addf07180ff9f3b1f00c5fff2cab5115e0bc21b9ad16c929e9e4a9691eb","observation_id":"c48c0425-84b8-4ed8-94f8-68b15eed3ece","resolution":{"observed_at":"2026-08-01T11:15:01.136219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:01.141498Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.141498Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:3907bb97bf2d3c67c7232050780e567cb3f4711684b1f67f54d54620cb20f38a","observation_id":"cb0232ba-2186-41d7-9ce2-72c0ffb1258a","resolution":{"observed_at":"2026-08-01T11:15:01.141498Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:01.152503Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.152503Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:44bf2a7c7cd8c921fb84357bcff96b590a7c21088fdb8a3fa3f9c08cc0a3ca6e","observation_id":"799c784e-9d40-4b8c-ab8b-20a0cb70a969","resolution":{"observed_at":"2026-08-01T11:15:01.152503Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:01.158535Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.158535Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:ed7cba7017a1255e0236102cddd20b5934ef30d16f2e4b017f0cc86b5c771307","observation_id":"7d3653a2-b33d-4317-945c-0d4155673afe","resolution":{"observed_at":"2026-08-01T11:15:01.158535Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:01.163746Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.163746Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:2368a8549bb667d937a856bc0e6c66b3dc03c700fcb62fe130c2a9591c3836a1","observation_id":"dd39ad04-3511-4533-ba4e-c44bb7600cf8","resolution":{"observed_at":"2026-08-01T11:15:01.163746Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.12186","last_updated":"2024-11-12T13:24:25Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-09-18T17:57:57Z","title":"Qwen2.5-Coder Technical Report","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.12186","snapshot_observed_at":"2026-08-01T11:15:01.171076Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.171076Z"},"links":{"cited_paper":"/paper/2409.12186","citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:be7e927a4f7e281bef052c0a30cf3eb3a007ea5d3b53c0c42769f0d67b9c7560","observation_id":"32332b99-805a-4753-820a-27104774c272","resolution":{"observed_at":"2026-08-01T11:15:01.171076Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:01.176792Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.176792Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:0bf7caebb5d1b2018f26e7c9c58e7562bd7e33459f96f68951f1782f9a9bb980","observation_id":"d34d49a8-2386-4c03-b226-e04826acd9bb","resolution":{"observed_at":"2026-08-01T11:15:01.176792Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:01.183065Z","title":"Saiful Bari, Xuan Do Long, Weishi Wang, Md","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.183065Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:9786c8a55100b03fb1c9748a57d280ec6fd06eaad560629f4ea405446efc0e39","observation_id":"c2ee2086-7628-4a5f-9c30-2f8e22c73d8d","resolution":{"observed_at":"2026-08-01T11:15:01.183065Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2004.12816","last_updated":"2020-04-23T22:36:05Z","snapshot_observed_at":"2026-07-31T00:36:11.204598Z","submitted_at":"2020-04-23T22:36:05Z","title":"Zakharov-Ito equation and Generalized Heisenberg ferromagnet-type equation: equivalence and related geometric curve flows","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2004.12816","snapshot_observed_at":"2026-08-01T11:15:01.190091Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.190091Z"},"links":{"cited_paper":"/paper/2004.12816","citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:0db33df618944ddfaf5069ae569317f60d6885d0f8e6e1fbadaf601fe23daa85","observation_id":"c60a467d-d068-4ee1-981c-e5758dae4f4d","resolution":{"observed_at":"2026-08-01T11:15:01.190091Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:01.196412Z","title":"Cordy, and Ahmed E","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.196412Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:2e2fe4b86af71cc51689ee892b0c575be82b68f0af99c725374ef7c5a9cb863f","observation_id":"8826237a-2a45-46b2-af55-85b49caa9f29","resolution":{"observed_at":"2026-08-01T11:15:01.196412Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:01.203809Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.203809Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:50b4c6e0a9ca65be68336bbdfa5411799a441a447c20be7a2aeedaff7cf190b4","observation_id":"91962220-4149-4aa7-ba2d-d131abbbec16","resolution":{"observed_at":"2026-08-01T11:15:01.203809Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:01.209481Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.209481Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:cdf86a9c453e28a7f9ee4d10a9ed8da12b058418a392c129d78ce3b9abc5b1ac","observation_id":"28e85506-ddf5-4919-ac88-7cf14ade12e4","resolution":{"observed_at":"2026-08-01T11:15:01.209481Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.12832","last_updated":"2024-10-02T17:58:39Z","snapshot_observed_at":"2026-08-03T10:06:52.418096Z","submitted_at":"2024-10-02T17:58:39Z","title":"Generative Reward Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.12832","snapshot_observed_at":"2026-08-01T11:15:01.217242Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.217242Z"},"links":{"cited_paper":"/paper/2410.12832","citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:29ed829152fbbd36a70e237deab82911d274a99f96152151789f13d6cf45d717","observation_id":"5157f74c-612f-465b-943b-fdc76bbaac9a","resolution":{"observed_at":"2026-08-01T11:15:01.217242Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:01.223770Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.223770Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:2c378b64b854c2fc1c9e85bf0d11c1548acc93245cbbf8ec183484b42a09258d","observation_id":"84b8db2c-8788-4476-812d-c6af9dc08282","resolution":{"observed_at":"2026-08-01T11:15:01.223770Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:01.230073Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.230073Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:84f9d9db851a972c69bba3c029d7723492e670afb43af8876232d473471e91d9","observation_id":"3874b410-b5df-4d11-ba06-06cf8147770b","resolution":{"observed_at":"2026-08-01T11:15:01.230073Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:01.236719Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.236719Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:6d75a23a4cefe7e21d9272d5a68e4270bfb4b730c6cf2b56680535ea7fdc08ef","observation_id":"f7afa7a5-6da0-4a7b-9a04-a415ff2d3dfb","resolution":{"observed_at":"2026-08-01T11:15:01.236719Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:01.241472Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.241472Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:0137af924eefa216c06bb70c09d1ebafe688d266d860a20bd362065896e14901","observation_id":"6a5bf02a-6576-4960-a958-77ede955f962","resolution":{"observed_at":"2026-08-01T11:15:01.241472Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:01.247276Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.247276Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:cbd80f32a05036447c599c805c1b94a60491ceab9b8ab406cba92ceb921c818d","observation_id":"2dbb878d-c8a9-47a2-9f14-d549802491e4","resolution":{"observed_at":"2026-08-01T11:15:01.247276Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:01.253521Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.253521Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:ffd46079256e111f43e84d52b769118ef82ffdc2f6939ddaacc9d3947d3d77d3","observation_id":"5fdc82d8-7101-4010-8f64-171ad9cb05a5","resolution":{"observed_at":"2026-08-01T11:15:01.253521Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.19256","last_updated":"2024-10-02T04:01:47Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-09-28T06:20:03Z","title":"HybridFlow: A Flexible and Efficient RLHF Framework","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.19256","snapshot_observed_at":"2026-08-01T11:15:01.262066Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.262066Z"},"links":{"cited_paper":"/paper/2409.19256","citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:f64c5ac89310b69f3dcd93ed3ffe4fc99180787cd7c64fb9e98793db62af445d","observation_id":"2d3c1be9-494e-42f9-92b0-52becc692cc0","resolution":{"observed_at":"2026-08-01T11:15:01.262066Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:01.270921Z","title":"Seshia, and Koushik Sen","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.270921Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:dbc8f3336bbb2b322ac5e1636933a90556aaacabbda2447ea38e130507dcc728","observation_id":"216ed889-6d94-419c-81a4-9b2960c3a78c","resolution":{"observed_at":"2026-08-01T11:15:01.270921Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:01.285186Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.285186Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:1ad636ba88921da652f93a026a355e6142677b134541b8b69c237e6aeca7769b","observation_id":"e2c6192d-1fd8-40e2-9196-c9844fddc1e8","resolution":{"observed_at":"2026-08-01T11:15:01.285186Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:01.290319Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.290319Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:470ec22db2ffade34aa5c64c8d0ec189bd5e3a93cd8fe64ebeaaf6996f206c80","observation_id":"701b0c97-e8e0-44a4-a440-1d6b8625068b","resolution":{"observed_at":"2026-08-01T11:15:01.290319Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:01.296924Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.296924Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:77bfc9fdffa629080d533f0e453fb26c853a253c41298a761b9d000ab614a0a1","observation_id":"50627b10-d90b-4fbd-865e-ca06dbe3340b","resolution":{"observed_at":"2026-08-01T11:15:01.296924Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.11409","last_updated":"2024-06-19T02:37:50Z","snapshot_observed_at":"2026-08-09T12:24:34.299363Z","submitted_at":"2024-06-17T10:54:35Z","title":"CodeGemma: Open Code Models Based on Gemma","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.11409","snapshot_observed_at":"2026-08-01T11:15:01.306477Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.306477Z"},"links":{"cited_paper":"/paper/2406.11409","citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:d846214117d0bd4985b936b36f516c2f4722b97b43b7ad6ac6126a2fe187088a","observation_id":"31c505fc-46c7-4e03-811e-9a78eff60c26","resolution":{"observed_at":"2026-08-01T11:15:01.306477Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:01.318125Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.318125Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:35832c63a76af406394685ac37333a241d2d27dbdcb69e9a3e5b4d4a0ce68507","observation_id":"c7182536-81eb-46f1-82cd-bd77123ef8c8","resolution":{"observed_at":"2026-08-01T11:15:01.318125Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:01.329691Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.329691Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:7b29cbfd33c47038691af0478297f725018238504accffe13d3e046fa2915e3d","observation_id":"733e053d-9338-454f-b271-8eff065cd97b","resolution":{"observed_at":"2026-08-01T11:15:01.329691Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:01.340104Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.340104Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:2e66babf356f9a91f3159475613eab9f18db8fab85fc80e8e573a5d1dba1c0b9","observation_id":"0b340e33-2a62-468f-96a7-e54c97722b1c","resolution":{"observed_at":"2026-08-01T11:15:01.340104Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:01.348363Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.348363Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:58740152b4f3cc02e259070803ce7127041b007566da2f5a23b28505b24d69e5","observation_id":"d602da89-13d4-44ca-8d38-d7681039fcc8","resolution":{"observed_at":"2026-08-01T11:15:01.348363Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.09388","last_updated":"2025-05-14T13:41:34Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-05-14T13:41:34Z","title":"Qwen3 Technical Report","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.09388","snapshot_observed_at":"2026-08-01T11:15:01.353788Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.353788Z"},"links":{"cited_paper":"/paper/2505.09388","citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:d11d171acccc66a42734e595a56a78cd60df53c193d4aca91984086c4675d0a7","observation_id":"7e3d3d55-88e3-454d-817b-b2ddd9d1bc28","resolution":{"observed_at":"2026-08-01T11:15:01.353788Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.18852","last_updated":"2024-05-25T15:15:12Z","snapshot_observed_at":"2026-07-06T18:07:10.639325Z","submitted_at":"2024-04-29T16:45:03Z","title":"VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.18852","snapshot_observed_at":"2026-08-01T11:15:01.359031Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.359031Z"},"links":{"cited_paper":"/paper/2404.18852","citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:0b23b6730cf9904d8d02ad546f144d607ca3c1ccbda0940e1a37e26653050e28","observation_id":"758df166-d808-4541-a8ef-5232d2531d00","resolution":{"observed_at":"2026-08-01T11:15:01.359031Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:01.364421Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.364421Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:a9b3e8749129ebaaa5a494b2b1f81f1ba0f32801638b35046c889ca2a8318421","observation_id":"57c6f390-e343-4a77-8319-086e2eeb2e20","resolution":{"observed_at":"2026-08-01T11:15:01.364421Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:01.373086Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.373086Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:a32a0ae3559d34a71c0fc9aa40455d4ed98af86d07145b56a1fc671375a0deeb","observation_id":"a2fe1221-9bad-48d0-b1c8-f29c6a7a079f","resolution":{"observed_at":"2026-08-01T11:15:01.373086Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:01.379077Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.379077Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:2f1b455e283d0ef0144cf2f562261c064511fcedc1ca2ebc26d35b485cf023b6","observation_id":"196b4728-e425-4c1f-bbd6-066bf47e83b1","resolution":{"observed_at":"2026-08-01T11:15:01.379077Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:01.388123Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.388123Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:c8546cdbf92aa924bc2bec9d7e4fc50ac7081e81dae784d5c17234ea46d18828","observation_id":"a68534d5-fae4-42f8-b7e9-ec4a3149b1b5","resolution":{"observed_at":"2026-08-01T11:15:01.388123Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:15:01.394639Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.394639Z"},"links":{"citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:116bc048293823014f43d13a3539ac7f942683ea27b0244d0ef8102dec86250d","observation_id":"6b2c71d9-f666-46eb-ad44-a3dd399fc67a","resolution":{"observed_at":"2026-08-01T11:15:01.394639Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.14234","last_updated":"2024-12-21T18:49:38Z","snapshot_observed_at":"2026-07-06T20:09:33.491422Z","submitted_at":"2024-12-18T18:55:46Z","title":"Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.14234","snapshot_observed_at":"2026-08-01T11:15:01.277653Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.277653Z"},"links":{"cited_paper":"/paper/2412.14234","citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:bdf1ecd0cb001c0d3015ddafa52bfdebe3746643ba2e1bbac47eef601c0d6814","observation_id":"a40062d4-0134-4de6-9289-8a7c32ce8363","resolution":{"observed_at":"2026-08-01T11:15:01.277653Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.10708","last_updated":"2026-04-22T23:20:17Z","snapshot_observed_at":"2026-07-06T21:24:39.918413Z","submitted_at":"2025-05-15T21:05:33Z","title":"SafeTrans: LLM-assisted Transpilation from C to Rust","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.10708","snapshot_observed_at":"2026-08-01T11:15:00.638474Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:00.638474Z"},"links":{"cited_paper":"/paper/2505.10708","citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:e6636b1a876d22e7b2f7765cb54f4e1177d5bc3ebfaee0780f52851afdd72fca","observation_id":"0c9a4756-315a-415e-9718-e410345fcce6","resolution":{"observed_at":"2026-08-01T11:15:00.638474Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning"},"reference_resolution":{"displayed":58,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":57,"verified_exact":1,"verified_fuzzy":0},"total_outbound_references":58},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 58 of 58 outbound references and 0 inbound Pith citation observations for arXiv:2607.19966."}