Joshua Brule

REDD-RQB

Publications

There is great interest in the potential for using formal methods to guarantee the reliability of deep neural networks. However, these techniques may also be used to implant carefully selected input-output pairs. We present initial results on a novel technique using SMT solvers to _ne tune the weights of a ReLU neural network to guarantee outcomes   ...more

Contact Us


Chief
Ashley Llorens
Ashley.Llorens@jhuapl.edu
240-228-0312

Physical Address
7701 Montpelier Road
Laurel, MD 20723


The Intelligent Systems Center is located at the Montpelier Campus of the Johns Hopkins Applied Physics Laboratory.
Click here for a map, directions and other visitor information.