Home » Authors » Anirudh Gupta, Petros Markopoulos, Siddhartha Gadgil

Anirudh Gupta, Petros Markopoulos, Siddhartha Gadgil

Public reference bibliography and cataloged PDF materials authored or published by Anirudh Gupta, Petros Markopoulos, Siddhartha Gadgil.

Found 1 document(s) Page 1 of 1

PastaLean: Deterministic transpilation from Python to Lean for Verification

Year: 2026 • Source: arxiv.org • Listed PDF

We present PastaLean, an extensible system for deterministic translation from Python to Lean via the Abstract Syntax Tree of Python. This allows for verification of Python code, especially auxiliary code used by AI. Ever...