research
∙
03/05/2021
Precise Multi-Neuron Abstractions for Neural Network Certification
Formal verification of neural networks is critical for their safe adopti...
share
research
∙
10/22/2018
Brain Tumor Image Retrieval via Multitask Learning
Classification-based image retrieval systems are built by training convo...
research
∙
02/03/2018