219 citations · 287 across the 20 of their papers we have counts for
4 papers · 1 filter
A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors
Edward Kim, Divya Gopinath, Corina Pasareanu +1
Even as deep neural networks have become very effective for tasks in vision and perception, it remains difficult to explain and debug their behavior. In this paper, we present a pr…
Unsupervised Star Galaxy Classification with Cascade Variational Auto-Encoder
Hao Sun, Jiadong Guo, Edward J. Kim +1
The increasing amount of data in astronomy provides great challenges for machine learning research. Previously, supervised learning methods achieved satisfactory recognition accura…
The Materials Science Procedural Text Corpus: Annotating Materials Synthesis Procedures with Shallow Semantic Structures
Sheshera Mysore, Zach Jensen, Edward Kim +6
Materials science literature contains millions of materials synthesis procedures described in unstructured natural language text. Large-scale analysis of these synthesis procedures…
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh +4
We present VERIFAI, a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components. VERIFAI particu…