vix.ing · top · new · best · stats · spec

Boetius, David

  1. Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound
    2024/05/27 by Boetius, David, Leue, Stefan, Sutter, Tobias · 2 citations
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)