36 citations · 41 across the 6 of their papers we have counts for
Showing cs.LGShow all
3 papers · 1 filter
cs.LG2023★ 1 cited
Finding Minimum-Cost Explanations for Predictions made by Tree Ensembles
John Törnblom, Emil Karlsson, Simin Nadjm-Tehrani
The ability to explain why a machine learning model arrives at a particular prediction is crucial when used as decision support by human operators of critical systems. The provided…
cs.LG2021
Scaling up Memory-Efficient Formal Verification Tools for Tree Ensembles
John Törnblom, Simin Nadjm-Tehrani
To guarantee that machine learning models yield outputs that are not only accurate, but also robust, recent works propose formally verifying robustness properties of machine learni…
cs.LG2019★ 36 cited
Formal Verification of Input-Output Mappings of Tree Ensembles
John Törnblom, Simin Nadjm-Tehrani
Recent advances in machine learning and artificial intelligence are now being considered in safety-critical autonomous systems where software defects may cause severe harm to human…