# 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