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

Daggitt, Matthew

  1. Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
    2024/01/25 by Wu, Haoze, Isac, Omri, Zeljić, Aleksandar +14 · 29 citations
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)