Pinned Loading

1. NeuralNetworkVerification_GlobalRobustness NeuralNetworkVerification_GlobalRobustness Public

   Author's Implementation of the paper "Verification of Neural Networks: Specifying Global Robustness using Generative Models"

   Jupyter Notebook 4 2

2. Cs154-Othello Cs154-Othello Public

   An Othello game written in Racket,implemented using minimax algorithm with alpha-beta prunning.

   Racket

3. DrMath DrMath Public

   A scheme/Racket based package for symbolic mathematics. Supports differentiation,integration,linear algebra and equation solvers in one variable.

   Racket

4. SecurePersonalCloud SecurePersonalCloud Public

   Python 1

5. sympy sympy Public

   Forked from sympy/sympy

   A computer algebra system written in pure Python

   Python

6. Face-Recognition-Systems-SOC Face-Recognition-Systems-SOC Public

   MATLAB