Picture for Roopsha Samanta

Roopsha Samanta

ImageEye: Batch Image Processing Using Program Synthesis

Add code
Apr 10, 2023
Viaarxiv icon

ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks

Add code
Jul 26, 2019
Figure 1 for ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks
Figure 2 for ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks
Figure 3 for ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks
Figure 4 for ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks
Viaarxiv icon