Sage Binder

According to our database, Sage Binder authored at least 7 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Apply2Isar: Automatically Converting Isabelle/HOL Apply-Style Proofs to Structured Isar.

Sage Binder, Hanna Lachnitt, Katherine Kosaian

CoRR, March, 2026

2025

The Hidden Number Problem.

Sage Binder, Eric Ren, Katherine Kosaian

Arch. Formal Proofs, 2025

Formalizing the Hidden Number Problem in Isabelle/HOL.

Sage Binder, Eric Ren, Katherine Kosaian

Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

2024

Babai's Nearest Plane Algorithm.

Eric Ren, Sage Binder, Katherine Kosaian

Arch. Formal Proofs, 2024

Pick's Theorem.

Sage Binder, Katherine Kosaian

Arch. Formal Proofs, 2024

Two Theorems on Hermitian Matrices.

Sage Binder, Zilin Jiang

Arch. Formal Proofs, 2024

Formalizing Pick's Theorem in Isabelle/HOL.

Sage Binder, Katherine Kosaian

Proceedings of the Intelligent Computer Mathematics - 17th International Conference, 2024