Title: Automated Deduction -- CADE-24