CS PhD Student at UIUC
-
University of Illinois in Urbana Champaign
- Champaign, IL
- cmxu.io
Stars
RaVeN : Relational Verification of Neural Networks
Efficient and general syntactical decoding for Large Language Models
Code for Go-Explore: a New Approach for Hard-Exploration Problems
PyTorch implementations of Generative Adversarial Networks.
Keras implementations of Generative Adversarial Networks.
Automatically solving the CAPTCHAS from ProjectEuler.
Our solutions to the HackMIT 2017 Puzzles.