Deep Learning

Build a precise and scalable automated verifier for proving the robustness of fully connected and convolutional neural networks against adversarial attacks

Implemented Fast Gradient Sign Method (FGSM) and Projected Gradient Descent (PGD) attacks on networks trained over CIFAR10 and MNIST.

Build an automatic review generator and restaurant recommender system