2 papers
cs.LG2020
Generate and Verify: Semantically Meaningful Formal Analysis of Neural Network Perception Systems
Chris R. Serrano, Pape M. Sylla, Michael A. Warren
Testing remains the primary method to evaluate the accuracy of neural network perception systems. Prior work on the formal verification of neural network perception models has been…
cs.LG2019
Introspection Learning
Chris R. Serrano, Michael A. Warren
Traditional reinforcement learning agents learn from experience, past or present, gained through interaction with their environment. Our approach synthesizes experience, without re…