@misc{indiciae16e7ff5be401,
  title = {Towards Automated Verification of LLM-Synthesized C Programs},
  author = {Prasita Mukherjee and Benjamin Delaware},
  year = {2025},
  url = {https://arxiv.org/abs/2410.14835},
  note = {Source identifier: 2410.14835}
}