Verified Synthesis of Self-Evolving Agnets

A certifier for bias in LLMs

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.