PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C
In this talk I will present PyVeritas, a novel framework that leverages Large Language Models (LLMs) for high-level transpilation from Python to C, followed by bounded model …
