mlsanityData to 14 Oct 2026

Verifying Robustness of Gradient Boosted Models

arXiv 1906.10991 ↗First posted 26 Jun 2019cs.LG cs.AI cs.CRcited by 13

Not on the map. Why?

Abstract (arXiv)

Gradient boosted models are a fundamental machine learning technique. Robustness to small perturbations of the input is an important quality measure for machine learning models, but the literature lacks a method to prove the robustness of gradient boosted models. This work introduces VeriGB, a tool for quantifying the robustness of gradient boosted models. VeriGB encodes the model and the robustness property as an SMT formula, which enables state of the art verification tools to prove the model's robustness. We extensively evaluate VeriGB on publicly available datasets and demonstrate a capability for verifying large models. Finally, we show that some model configurations tend to be inherently more robust than others.

Key facts. Cited by 13 papers in the map (data through 14 Oct 2026). First posted on arXiv 26 Jun 2019.

Builds on

No reference list yet.

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2021: 4; 2022: 3; 2023: 2; 2024: 3; 2025: 0; 2026: 1.

13 papers.

Sort:

  1. 2021On Explaining Random Forests with SATcited by 57
  2. 2021A Review of Formal Methods applied to Machine Learningcited by 33
  3. 2021SaDe: Learning Models that Provably Satisfy Domain Constraintscited by 3
  4. 2023Verifiable Learning for Robust Tree Ensemblescited by 3
  5. 2021Scaling up Memory-Efficient Formal Verification Tools for Tree Ensemblescited by 2
  6. 2022Implementing Reinforcement Learning Datacenter Congestion Control in NVIDIA NICscited by 2
  7. 2026ITBoost: Information-Theoretic Trust for Robust Boostingcited by 2
  8. 2024Faster Repeated Evasion Attacks in Tree Ensemblescited by 1
  9. 2022A Geometric Method for Improved Uncertainty Estimation in Real-timecited by 0
  10. 2022Adversarial Example Detection in Deployed Tree Ensemblescited by 0
  11. 2023Uncertainty Estimation based on Geometric Separationcited by 0
  12. 2024Probabilistic ML Verification via Weighted Model Integrationcited by 0
1 more
  1. 2024Verifiable Boosted Tree Ensemblescited by 0