TY  - RPRT
TI  - PastaLean: Deterministic transpilation from Python to Lean for Verification
AU  - Anirudh Gupta
AU  - Petros Markopoulos
AU  - Siddhartha Gadgil
PY  - 2026
UR  - https://arxiv.org/abs/2610.34205
ID  - 2610.34205
ER  -