Törnblom, John

1. Scaling up Memory-Efficient Formal Verification Tools for Tree Ensembles
   2021/05/06 by John Törnblom, Törnblom, John, Simin Nadjm‐Tehrani +2 · 1 citation
   Computer Science · Social Sciences · #Adversarial Robustness in Machine Learning #Computer engineering #Computer science #Correctness #Database #Distributed computing #Domain (mathematical analysis) #Ethics and Social Impacts of AI #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Formal verification #Functional verification #High-level verification #Machine Learning (cs.LG) #Model checking #Programming language #Robustness (evolution) #Runtime verification #Scalability #Set (abstract data type) #Software #Software system #Theoretical computer science #cs.LG
2. Finding Minimum-Cost Explanations for Predictions made by Tree Ensembles
   2023/03/16 by Törnblom, John, Karlsson, Emil, Nadjm-Tehrani, Simin · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)