Laurens Devos
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICML | Compressing tree ensembles through Level-wise Optimization and Pruning. | Laurens Devos, Timo Martens, Deniz Can Oruc, Wannes Meert, Hendrik Blockeel, Jesse Davis |
| 2024 | AAAI | Robustness Verification of Multi-Class Tree Ensembles. | Laurens Devos, Lorenzo Cascioli, Jesse Davis |
| 2024 | ECAI | Safety Verification of Tree-Ensemble Policies via Predicate Abstraction. | Chaahat Jain, Lorenzo Cascioli, Laurens Devos, Marcel Vinzent, Marcel Steinmetz, Jesse Davis, Jrg Hoffmann |
| 2022 | IJCAI | Evaluating Sports Analytics Models: Challenges, Approaches, and Lessons Learned. | Jesse Davis, Lotte Bransen, Laurens Devos, Wannes Meert, Pieter Robberechts, Jan Van Haaren, Maaike Van Roy |
| 2021 | ICML | Versatile Verification of Tree Ensembles. | Laurens Devos, Wannes Meert, Jesse Davis |
| 2021 | SDM | Verifying Tree Ensembles by Reasoning about Potential Instances. | Laurens Devos, Wannes Meert, Jesse Davis |