John Törnblom
- 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