Benchmarks used in "Safety Verification of Additive Tree Ensemble Policies via Symbolic Search"
收藏官方服务：
资源简介：
Contains the original dataset and the newly trained ensembles for the scaling experiments. Uncompressed size: 15.7 GB Hyperparameters: max depth in [4,8,12,16,20] num trees in [5,10,20,30,40,50] lr=0.8 for XGB
提供机构：
Zenodo创建时间：
2026-07-30
