TY  - RPRT
TI  - Pseudo-Formalization for Automatic Proof Verification
AU  - Slim Barkallah
AU  - Luke Bailey
AU  - Kaiyue Wen
AU  - Mohammed Abouzaid
AU  - Tengyu Ma
PY  - 2026
UR  - https://arxiv.org/abs/2605.20531
ID  - 2605.20531
ER  -