Jonathan Uesato's repositories
gspeech-api
Node.js wrapper library to easily access Google Speech Recognition API
CodeforcesData
Code to generate dataset of user submissions from codeforces.com
MIPVerify.jl
Evaluating Robustness of Neural Networks with Mixed Integer Programming
cleverhans
An adversarial example library for constructing attacks, building defenses, and benchmarking both
noq
Noq is an online logic puzzle solver using Python and clasp!
Language:PythonGPL-3.0000
transformers
🤗Transformers: State-of-the-art Natural Language Processing for Pytorch and TensorFlow 2.0.
wide-residual-networks
3.8% and 18.3% on CIFAR-10 and CIFAR-100
Language:Lua000