@misc{indiciaebabfd2fc831b,
  title = {PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C},
  author = {Pedro Orvalho and Marta Kwiatkowska},
  year = {2025},
  url = {https://arxiv.org/abs/2508.08171},
  note = {Source identifier: 2508.08171}
}