The paper Verifiable Learning for Robust Tree Ensembles (pre-print here) has been accepted at ACM CCS 2023! I will attend the conference on November 26-30, 2023!