Skip to content
View mohitiitb's full-sized avatar
🎯
Focusing
🎯
Focusing
15 followers · 11 following

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report mohitiitb

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

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