Person. Ines Santacruz Del Valle Boston University Papers Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT zhang-2026-outrunningESOP · 2026 PDF · DOI · arXiv · pldb