Paper Citation Record · LEDGER

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation

As of 21 August 2026, this Paper Citation Record lists 26 of 26 outbound references and 3 inbound Pith citation observations for arXiv:2508.06926.

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

pith.paper-citation-record.v1
2508.06926 v1

Coverage vector

measured 26 of 26 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-05T22:28:12.174724Z

measured 29 of 29 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+00:00

measured 3 of 3 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-02T19:22:16.163426Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-13T20:13:13.463211Z

Reference resolution

26 of 26 outbound references displayed

verified exact0
verified fuzzy7
unresolved19
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 6e808516-9375-4688-b58b-fce56cb49e7f · outbound

This paper cites The Faiss library.

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation The Faiss library

Reference 5

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0862758a-086f-455a-91ab-3207748735d6 · outbound

This paper cites A Semantic Search Engine for Mathlib4.

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation A Semantic Search Engine for Mathlib4

Reference 6

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a90de4cb-3241-4737-bfdb-62eb663e8bb2 · outbound

This paper cites bfloat16.

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation bfloat16

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T22:28:13.140318Z

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 6def240a-5fe4-40eb-8d6a-3f0dcd20e0cb · outbound

This paper cites HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving.

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving

Reference 10

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c1b7392-8681-4d62-a5f9-f93341a7dce6 · outbound

This paper cites Rethinking and improving autoformalization: towards a faithful metric and a dependency retrieval-based approach.

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation Rethinking and improving autoformalization: towards a faithful metric and a dependency retrieval-based approach

Reference 11

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f94c9d14-7f79-4ffe-93fa-fdb08c2902b8 · outbound

This paper cites The lean 4 theorem prover and programming language.

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation The lean 4 theorem prover and programming language

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T22:28:13.175633Z

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 7c7bd7aa-42cf-4e08-b02d-369bbd535dbe · outbound

This paper cites Improving autoformalization using type checking.arXiv preprint arXiv:2406.07222,.

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation Improving autoformalization using type checking.arXiv preprint arXiv:2406.07222,

Reference 15

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e9931688-3737-4d99-91fa-4399440d87d6 · outbound

This paper cites Learning an effective premise re- trieval model for efficient mathematical formalization.

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation Learning an effective premise re- trieval model for efficient mathematical formalization

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T22:28:13.148734Z

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 ce4186dd-12ca-4e5d-a0dc-6cec4ef89194 · outbound

This paper cites Evolprover: Advancing automated theorem proving by evolving formalized problems via symmetry and difficulty.arXiv preprint arXiv:2510.00732,.

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation Evolprover: Advancing automated theorem proving by evolving formalized problems via symmetry and difficulty.arXiv preprint arXiv:2510.00732,

Reference 19

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a49daa29-8088-4a3f-8ed7-e13619835b95 · outbound

This paper cites Autoformalization in the Era of Large Language Models: A Survey.

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation Autoformalization in the Era of Large Language Models: A Survey

Reference 21

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b143c005-bc89-4b4c-a68e-b00d7d9f52d8 · outbound

This paper cites Mathesis: Towards Formal Theorem Proving from Natural Languages.

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation Mathesis: Towards Formal Theorem Proving from Natural Languages

Reference 23

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f419b567-6dd0-45d1-8a9e-d44fabd8a5df · outbound

This paper cites InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning.

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

Reference 24

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5cfe3ad-83ce-422e-9f85-10bbf94a1333 · outbound

This paper cites Table 10: Latency Breakdown of Individual Modules in the CRAMF Framework.

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation Table 10: Latency Breakdown of Individual Modules in the CRAMF Framework

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T22:28:13.131466Z

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 121e3402-6bbd-428d-ba65-0c7abadd27c0 · outbound

This paper cites MathBERT: A Pre-Trained Model for Mathematical Formula Understanding.

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation MathBERT: A Pre-Trained Model for Mathematical Formula Understanding

Reference 1994

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 99d58dea-a2f2-4eaf-8a4e-2c81289ecc83 · outbound

This paper cites Multilingual Mathematical Autoformalization.

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation Multilingual Mathematical Autoformalization

Reference 1997

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a528dcd-c725-41af-94dc-c1a8012840f1 · outbound

This paper cites Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning.

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

Reference 2000

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 08335b29-8a0a-4ece-b40f-017f7f4d8770 · outbound

This paper cites Mind the confidence gap: Overconfidence, calibration, and distractor effects in large language models.arXiv preprint arXiv:2502.11028,.

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation Mind the confidence gap: Overconfidence, calibration, and distractor effects in large language models.arXiv preprint arXiv:2502.11028,

Reference 2007

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5326570-6774-4da6-9fd5-305beab2a6bf · outbound

This paper cites An overview of the mizar project.

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation An overview of the mizar project

Reference 2009

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T22:28:13.166038Z

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 c71b2978-2eea-4334-87dc-c14923df6f78 · outbound

This paper cites DeepSeek-V3 Technical Report.

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation DeepSeek-V3 Technical Report

Reference 2015

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 538a6052-b050-4766-bdfc-bddb844d098b · outbound

This paper cites Bkrag: A bge reranker rag for similarity analysis of power project requirements.

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation Bkrag: A bge reranker rag for similarity analysis of power project requirements

Reference 2016

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T22:28:13.184182Z

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 50e7d9f5-877a-49cf-9323-3a2230c3e750 · outbound

This paper cites An evalu- ation benchmark for autoformalization in lean4.

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation An evalu- ation benchmark for autoformalization in lean4

Reference 2020

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T22:28:13.157690Z

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 e7f83150-061e-47ea-9939-a3fd092eb0af · outbound

This paper cites GFLean: An Autoformalisation Framework for Lean via GF.

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation GFLean: An Autoformalisation Framework for Lean via GF

Reference 2021

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dbc56e5c-bc8c-4410-a03d-8d3a26fde578 · outbound

This paper cites LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN prover.

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN prover

Reference 2022

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf55aa04-a7ea-4db1-9a50-3554c3c6c819 · outbound

This paper cites Enhancing LLM Factual Accuracy with RAG to Counter Hallucinations: A Case Study on Domain-Specific Queries in Private Knowledge-Bases.

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation Enhancing LLM Factual Accuracy with RAG to Counter Hallucinations: A Case Study on Domain-Specific Queries in Private Knowledge-Bases

Reference 2023

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba423446-f558-4f4d-bda2-bfc094b50054 · outbound

This paper cites LeanExplore: A search engine for Lean 4 declarations.

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation LeanExplore: A search engine for Lean 4 declarations

Reference 2024

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4849e996-5b2f-4b78-a509-c8750efbd137 · outbound

This paper cites ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics.

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics

Reference 2025

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 97cef259-4d61-44f4-b625-3ceb1fcf0b53 · inbound

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

His2Trans: A Knowledge-Guided Agentic Framework for Project-Level C-to-Rust Migration Integrating Rules and Semantics for LLM-Based C-to-Rust Translation

Reference 21

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df50ccf0-0e4d-4a05-af5f-bf0552528dc0 · 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 Integrating Rules and Semantics for LLM-Based C-to-Rust Translation

Reference 33

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

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 4066971c-9112-4ad0-bbc1-1d1b870e7954 · 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 Integrating Rules and Semantics for LLM-Based C-to-Rust Translation

Reference 41

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

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.