research
          
      
      ∙
      06/27/2022
    Adversarial Example Detection in Deployed Tree Ensembles
Tree ensembles are powerful models that are widely used. However, they a...
          
            research
          
      
      ∙
      10/26/2020
    Versatile Verification of Tree Ensembles
Machine learned models often must abide by certain requirements (e.g., f...
          
            research
          
      
      ∙
      01/31/2020