research
∙
08/07/2023
Symmetry-Preserving Program Representations for Learning Code Semantics
Large Language Models (LLMs) have shown promise in automated program rea...
share
research
∙
03/11/2021
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Verification
Recent works in neural network verification show that cheap incomplete v...
research
∙
06/04/2020
Towards Understanding Fast Adversarial Training
Current neural-network-based classifiers are susceptible to adversarial ...
research
∙
11/06/2018
MixTrain: Scalable Training of Formally Robust Neural Networks
There is an arms race to defend neural networks against adversarial exam...
research
∙
07/15/2018
NEUZZ: Efficient Fuzzing with Neural Program Learning
Fuzzing has become the de facto standard technique for finding software ...
research
∙
02/09/2018
