36 citations · 36 across the 2 of their papers we have counts for
2 papers
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…