59 citations · 183 across the 18 of their papers we have counts for
4 papers · 1 filter
QuantifyML: How Good is my Machine Learning Model?
Muhammad Usman, Divya Gopinath, Corina S. Păsăreanu
The efficacy of machine learning models is typically determined by computing their accuracy on test data sets. However, this may often be misleading, since the test data may not be…
MedKnowts: Unified Documentation and Information Retrieval for Electronic Health Records
Luke Murray, Divya Gopinath, Monica Agrawal +3
Clinical documentation can be transformed by Electronic Health Records, yet the documentation process is still a tedious, time-consuming, and error-prone process. Clinicians are fa…
NNrepair: Constraint-based Repair of Neural Network Classifiers
Muhammad Usman, Divya Gopinath, Youcheng Sun +2
We present NNrepair, a constraint-based technique for repairing neural network classifiers. The technique aims to fix the logic of the network at an intermediate layer or at the la…
NEUROSPF: A tool for the Symbolic Analysis of Neural Networks
Muhammad Usman, Yannic Noller, Corina Pasareanu +2
This paper presents NEUROSPF, a tool for the symbolic analysis of neural networks. Given a trained neural network model, the tool extracts the architecture and model parameters and…