@misc{indiciae48d54dad1d36,
  title = {Evidence-Driven LLM Agent for C-to-Synthesizable-C Conversion and Verification},
  author = {Zhe Zhao and Hongbing Lang and Zhihan Xiao and Luke Ztz Hu and John Imoleayo Adebisi and Songping Mai},
  year = {2026},
  url = {https://arxiv.org/abs/2606.28409},
  note = {Source identifier: 2606.28409}
}