Formalizing Pick's Theorem in Isabelle/HOL. - Sage Binder; Katherine Kosaian (CICM, 2024)

Two Theorems on Hermitian Matrices. - Sage Binder; Zilin Jiang (Arch. Formal Proofs, 2024)

Pick's Theorem. - Sage Binder; Katherine Kosaian (Arch. Formal Proofs, 2024)

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)