First Proof. - Mohammed Abouzaid; Andrew J. Blumberg; Martin Hairer; Joe Kileel 001; Tamara G. Kolda; Paul D. Nelson; Daniel Spielman; Nikhil Srivastava; Rachel A. Ward; Shmuel Weinberger; Lauren Williams (CoRR, 2026)

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