@TechReport{OK25b},
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},
primaryClass={cs.SE},
url={https://arxiv.org/abs/2508.08171}, 
notes={Workshop on Post-AI Formal Methods (AAAI-26, Singapore)},
}