Matthew Dwyer

3 papers Department of Computer Science, University of Virginia, Charlottesville

• Compositional Neural Network Verification via Assume-Guarantee Reasoning
• Generating and Checking DNN Verification Proofs
• LabelAny3D: Label Any Object 3D in the Wild