research
∙
04/10/2020
Resources: A Safe Language Abstraction for Money
Smart contracts are programs that implement potentially sophisticated tr...
share
research
∙
02/11/2018
Learning a SAT Solver from Single-Bit Supervision
We present NeuroSAT, a message passing neural network that learns to sol...
research
∙
09/29/2017
Ground-Truth Adversarial Examples
The ability to deploy neural networks in real-world, safety-critical sys...
research
∙
09/08/2017
Towards Proving the Adversarial Robustness of Deep Neural Networks
Autonomous vehicles are highly complex systems, required to function rel...
research
∙
06/26/2017