agent/papers/items/2026-2606-28409-evidence-driven-llm-agent-for-c-to-synthesizable-c-conversion-and-verification.md

Paper: Evidence-Driven LLM Agent for C-to-Synthesizable-C Conversion and Verification

---

type: paper title: Evidence-Driven LLM Agent for C-to-Synthesizable-C Conversion and Verification authors: Zhe Zhao, Hongbing Lang, Zhihan Xiao, Luke Ztz Hu, John Imoleayo Adebisi, Songping Mai year: 2026 venue: arXiv url: https://arxiv.org/abs/2606.28409 code_url: source: arxiv collected_at: 2026-07-08 published_at: 2026-06-25 updated_at: 2026-06-25 status: queued relevance: high topics:

• rag
• reasoning
• tool-use
• workflow-agent
• world-model methods:

benchmarks:

models:

datasets:

• cs.AR
• cs.AI related_concepts:

related_jobs:

related_experiments:

related_projects:

collection_score: 15 collection_queries: rag-agent

One-line Takeaway

Auto-collected from arXiv because it matched the Agent collection queries. Needs human skim.

Why Collected

• matched queries: rag-agent
• inferred topics: rag, reasoning, tool-use, workflow-agent, world-model
• arXiv categories: cs.AR, cs.AI
• collection score: 15

Review Checklist

• Does this paper directly inform Agent architecture, evaluation, memory, tools, safety, coding agents, GUI/browser agents, or multi-agent workflows?
• Does it include a benchmark, dataset, code, or reproducible experimental setup?
• Should it be promoted from queued to skimmed or summarized?

Links

• arXiv: https://arxiv.org/abs/2606.28409