paper-with-me

홈 › Papers

Model Assertions for Monitoring and Improving ML Models

2020-03-03 · Daniel Kang, Deepti Raghavan, Peter Bailis, Matei Zaharia

ML models are increasingly deployed in settings with real world interactions such as vehicles, but unfortunately, these models can fail in systematic ways. To prevent errors, ML engineering teams monitor and continuously improve these models. We propose a new abstraction, model assertions, that adapts the classical use of program assertions as a way to monitor and improve ML models. Model assertions are arbitrary functions over a model's input and output that indicate when errors may be occurring, e.g., a function that triggers if an object rapidly changes its class in a video. We propose methods of using model assertions at all stages of ML system deployment, including runtime monitoring, validating labels, and continuously improving ML models. For runtime monitoring, we show that model assertions can find high confidence errors, where a model returns the wrong output with high confidence, which uncertainty-based monitoring techniques would not detect. For training, we propose two methods of using model assertions. First, we propose a bandit-based active learning algorithm that can sample from data flagged by assertions and show that it can reduce labeling costs by up to 40% over traditional uncertainty-based methods. Second, we propose an API for generating "consistency assertions" (e.g., the class change example) and weak labels for inputs where the consistency assertions fail, and show that these weak labels can improve relative model quality by up to 46%. We evaluate model assertions on four real-world tasks with video, LIDAR, and ECG data.

📄 PDF Abstract BibTeX arXiv:2003.01668

Code (1)

stanford-futuredata/omg

Tasks

Active Learningmodel

Similar Papers 제목 키워드 기반

System-on-Chip Security Assertions

2020-01-18

Assertions are widely used for functional validation as well as coverage analysis for both software and hardware designs. Assertions enable runtime error detection as well as faster localization of errors. While there is…

An Approach to Checking Correctness for Agentic Systems

2025-08-19 · Thomas J Sheffler arxiv

This paper presents a temporal expression language for monitoring AI agent behavior, enabling systematic error-detection of LLM-based agentic systems that exhibit variable outputs due to stochastic generation processes. …

Prompt Engineering

ASSERTIFY: Utilizing Large Language Models to Generate Assertions for Production Code

2024-11-25 · Mohammad Jalili Torkamani, Abhinav Sharma, Nikita Mehrotra, Rahul Purandare

Production assertions are statements embedded in the code to help developers validate their assumptions about the code. They assist developers in debugging, provide valuable documentation, and enhance code comprehension.…

Few-Shot LearningPrompt Engineering

Inferring multiple helper Dafny assertions with LLMs

2025-10-31 · Álvaro Silva, Alexandra Mendes, Ruben Martins arxiv

The Dafny verifier provides strong correctness guarantees but often requires numerous manual helper assertions, creating a significant barrier to adoption. We investigate the use of Large Language Models (LLMs) to automa…

Avoiding Help Avoidance: Using Interface Design Changes to Promote Unsolicited Hint Usage in an Intelligent Tutor

2020-09-28 · Mehak Maniktala, Christa Cody, Tiffany Barnes, Min Chi

Within intelligent tutoring systems, considerable research has investigated hints, including how to generate data-driven hints, what hint content to present, and when to provide hints for optimal learning outcomes. Howev…

Clustering