Mohammad Zangooei's repositories
alpha-beta-CROWN
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, and 2023)
Language:PythonNOASSERTION000
auto_LiRPA
auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs
Language:PythonNOASSERTION000
Language:Python000
CS6700-Reinforcement-Learning
Artificial Intelligence series
Language:Jupyter Notebook000
Language:Python000
Language:Python000
Language:Python000
Language:Jupyter Notebook000
Language:JavaScriptMIT000
Multi-Agent-Constrained-Policy-Optimisation
Multi-Agent Constrained Policy Optimisation (MACPO)
Language:PythonNOASSERTION000
Language:Python000
Language:C000