Search Results for author:
Found 2 papers, 1 papers with code
ImageEye: Batch Image Processing Using Program Synthesis
This paper presents a new synthesis-based approach for batch image processing.
ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks
Our key insight is that we can integrate an optimization-based abstraction refinement loop into the learning process and operate over dynamically constructed partitions of the input space that considers accuracy and safety objectives synergistically.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
