HyperVerITAS: Verifying Image Transformations at Scale on Boolean Hypercubes. - Garrett Greiner; Toshi Mowery; Pratik Soni (Proc. Priv. Enhancing Technol., 2026)