Aizaz Sharif's starred repositories
numerical_optimization_of_ai
Numerical techniques for optimization of artificial Intelligence
gym_example
An example implementation of an OpenAI Gym environment used for a Ray RLlib tutorial
CS236G_VerifyGAN
Code for CS236G course project on using GANs to verify image-based controllers.
open_spiel
OpenSpiel is a collection of environments and algorithms for research in general reinforcement learning and search/planning in games.
toy-ml-pipeline
Toy example of an applied ML pipeline for me to experiment with MLOps tools.
AutomotiveSafeRL
Training and evaluation scripts for applying formal methods and reinforcement learning to autonomous driving problems.