@article{pyveritasonverifyingpythonviallmbasedtra,
  title = {PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C},
  author = {Pedro Orvalho and Marta Kwiatkowska},
  year = {2025},
  eprint = {2508.08171},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2508.08171},
}