activity
20172022
most citedAn Abstraction-Based Framework for Neural Network Verification

96 citations · 350 across the 21 of their papers we have counts for

collaborators
Showing cs.LGShow all

5 papers · 1 filter

cs.LG2020★ 5 cited

A Skew-Sensitive Evaluation Framework for Imbalanced Data Classification

Min Du, Nesime Tatbul, Brian Rivers +7

Class distribution skews in imbalanced datasets may lead to models with prediction bias towards majority classes, making fair assessment of classifiers a challenging task. Metrics…

cs.LG2020★ 5 cited

MISIM: A Neural Code Semantics Similarity System Using the Context-Aware Semantics Structure

Fangke Ye, Shengtian Zhou, Anand Venkat +10

Code semantics similarity can be used for many tasks such as code recommendation, automated software defect correction, and clone detection. Yet, the accuracy of such systems has n…

cs.LG2019★ 20 cited

MLSys: The New Frontier of Machine Learning Systems

Alexander Ratner, Dan Alistarh, Gustavo Alonso +66

Machine learning (ML) techniques are enjoying rapidly increasing adoption. However, designing and implementing the systems that support ML models in real-world deployments remains…

cs.LG2018★ 38 cited

Precision and Recall for Time Series

Nesime Tatbul, Tae Jun Lee, Stan Zdonik +2

Classical anomaly detection is principally concerned with point-based anomalies, those anomalies that occur at a single point in time. Yet, many real-world anomalies are range-base…

cs.LG2018★ 2 cited

Paranom: A Parallel Anomaly Dataset Generator

Justin Gottschlich

In this paper, we present Paranom, a parallel anomaly dataset generator. We discuss its design and provide brief experimental results demonstrating its usefulness in improving the…