Pseudo-Formalization for Automatic Proof Verification. - Slim Barkallah; Luke Bailey; Kaiyue Wen; Mohammed Abouzaid; Tengyu Ma 001 (CoRR, 2026)