Verifiable Boosted Tree Ensembles

Stefano Calzavara, Lorenzo Cazzaro, Claudio Lucchese +1

Verifiable learning advocates for training machine learning models amenable to efficient security verification. Prior research demonstrated that specific classes of decision tree e…