Popular repositories Loading

1. prism prism Public

   Forked from prismmodelchecker/prism

   The main development version of the PRISM model checker.

   Java 1

2. antlr4 antlr4 Public

   Forked from antlr/antlr4

   ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

   Java

3. eran-nnv eran-nnv Public

   Forked from eth-sri/eran

   ETH Robustness Analyzer for Deep Neural Networks

   Python

4. Marabou-for-Robust-Monitoring Marabou-for-Robust-Monitoring Public

   Forked from NeuralNetworkVerification/Marabou

   C++

5. Linearity-Grafting Linearity-Grafting Public

   Forked from VITA-Group/Linearity-Grafting

   [ICML 2022] "Linearity Grafting: Relaxed Neuron Pruning Helps Certifiable Robustness" by Tianlong Chen*, Huan Zhang*, Zhenyu Zhang, Shiyu Chang, Sijia Liu, Pin-Yu Chen, Zhangyang Wang

   Python

6. prism-games prism-games Public

   Forked from prismmodelchecker/prism-games

   The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.

   Java