Babai's Nearest Plane Algorithm. - Eric Ren; Sage Binder; Katherine Kosaian (Arch. Formal Proofs, 2024)

The Hidden Number Problem. - Sage Binder; Eric Ren; Katherine Kosaian (Arch. Formal Proofs, 2025)