70 citations · 190 across the 15 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2024
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…
cs.LG2023★ 2 cited
Verifiable Learning for Robust Tree Ensembles
Stefano Calzavara, Lorenzo Cazzaro, Giulio Ermanno Pibiri +1
Verifying the robustness of machine learning models against evasion attacks at test time is an important research problem. Unfortunately, prior work established that this problem i…