DeepGO software on GitHub

Software OPEN SOURCE
  • Subject:
    arxiv: Quantitative Biology::Neurons and Cognition | Computer Science::Neural and Evolutionary Computation | Computer Science::Formal Languages and Automata Theory | Computer Science::Logic in Computer Science
    acm: ComputingMethodologies_GENERAL

Reachability Analysis of Deep Neural Networks with Provable Guarantees
Share - Bookmark