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
Language:Python000
Language:Python000
Language:Python000
tdoku
A fast Sudoku solver and generator with a benchmark suite for comparing the fastest known solvers.
Language:C++BSD-2-Clause000
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