Verifying Cake-Cutting, Faster. - Noah Bertram; Tean Lai; Justin Hsu (CAV (2), 2024)