Cover Image

Verifying Machine Learning Interpretability Requirements through Provenance

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Vonderhaar, Lynn, Couder, Juan, Cisneros, Daryela, Ochoa, Omar
Format:	Preprint
Published:	2026
Subjects:	Software Engineering Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Data Requirement Goal Modeling for Machine Learning Systems
by: Yamani, Asma, et al.
Published: (2025)

Machine Learning with Requirements: a Manifesto
by: Giunchiglia, Eleonora, et al.
Published: (2023)

Operationalising Artificial Intelligence Bills of Materials (AIBOMs) for Verifiable AI Provenance and Lifecycle Assurance
by: Radanliev, Petar, et al.
Published: (2026)

Embedding Provenance in Computer Vision Datasets with JSON-LD
by: Vonderhaar, Lynn, et al.
Published: (2026)

Understanding Practitioners Perspectives on Monitoring Machine Learning Systems
by: Naveed, Hira, et al.
Published: (2025)

Causal Fuzzing for Verifying Machine Unlearning
by: Mazhar, Anna, et al.
Published: (2025)

Monitoring Machine Learning Systems: A Multivocal Literature Review
by: Naveed, Hira, et al.
Published: (2025)

Evaluating Assurance Cases as Text-Attributed Graphs for Structure and Provenance Analysis
by: Ikhwantri, Fariz, et al.
Published: (2026)

Towards Verified Code Reasoning by LLMs
by: Sistla, Meghana, et al.
Published: (2025)

Model Provenance via Model DNA
by: Mu, Xin, et al.
Published: (2023)

CREST: Improving Interpretability and Effectiveness of Troubleshooting at Ericsson through Criterion-Specific Trouble Report Retrieval
by: Javdan, Soroush, et al.
Published: (2025)

Verifier-Guided Code Translation via Meta-Step Decoding
by: Zhou, Tianyang, et al.
Published: (2026)

Geospatial Machine Learning Libraries
by: Stewart, Adam J., et al.
Published: (2025)

Data Virtualization for Machine Learning
by: Khan, Saiful, et al.
Published: (2025)

Reinforcement Learning for Testing Interdependent Requirements in Autonomous Vehicles: An Empirical Study
by: Wu, Jiahui, et al.
Published: (2025)

Requirement falsification for cyber-physical systems using generative models
by: Peltomäki, Jarkko, et al.
Published: (2023)

Machine Learning Systems are Bloated and Vulnerable
by: Zhang, Huaifeng, et al.
Published: (2022)

Can I Solve It? Identifying APIs Required to Complete OSS Task
by: Santos, Fabio, et al.
Published: (2021)

Optimising for Energy Efficiency and Performance in Machine Learning
by: Ferreira, Emile Dos Santos, et al.
Published: (2026)

Analysing Python Machine Learning Notebooks with Moose
by: Mignard, Marius, et al.
Published: (2025)

Automated Trustworthiness Testing for Machine Learning Classifiers
by: Cho, Steven, et al.
Published: (2024)

How do Machine Learning Models Change?
by: Castaño, Joel, et al.
Published: (2024)

Machine Learning Operations: A Mapping Study
by: Chakraborty, Abhijit, et al.
Published: (2024)

ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks
by: Wei, Tianhao, et al.
Published: (2024)

Automated Modernization of Machine Learning Engineering Notebooks for Reproducibility
by: Jin, Bihui, et al.
Published: (2026)

Applications and Challenges of Fairness APIs in Machine Learning Software
by: Das, Ajoy, et al.
Published: (2025)

Continuous Management of Machine Learning-Based Application Behavior
by: Anisetti, Marco, et al.
Published: (2023)

JetTrain: IDE-Native Machine Learning Experiments
by: Trofimov, Artem, et al.
Published: (2024)

Deep Learning and Machine Learning: Advancing Big Data Analytics and Management with Design Patterns
by: Chen, Keyu, et al.
Published: (2024)

A Catalog of Fairness-Aware Practices in Machine Learning Engineering
by: Voria, Gianmario, et al.
Published: (2024)

Continuous Integration Practices in Machine Learning Projects: The Practitioners` Perspective
by: Bernardo, João Helis, et al.
Published: (2025)

Natural Language Requirements Testability Measurement Based on Requirement Smells
by: Zakeri-Nasrabadi, Morteza, et al.
Published: (2024)

Scalability and Maintainability Challenges and Solutions in Machine Learning: Systematic Literature Review
by: Shivashankar, Karthik, et al.
Published: (2025)

Identifying Flaky Tests in Quantum Code: A Machine Learning Approach
by: Kaur, Khushdeep, et al.
Published: (2025)

The State of Documentation Practices of Third-party Machine Learning Models and Datasets
by: Oreamuno, Ernesto Lang, et al.
Published: (2023)

A Systematic Literature Review on the Use of Machine Learning in Software Engineering
by: Fred, Nyaga, et al.
Published: (2024)

Automating the Training and Deployment of Models in MLOps by Integrating Systems with Machine Learning
by: Liang, Penghao, et al.
Published: (2024)

Bug Severity Prediction in Software Projects Using Supervised Machine Learning Models
by: Nice, Nafisha Tamanna
Published: (2026)

Using Small Language Models to Reverse-Engineer Machine Learning Pipelines Structures
by: Lacroix, Nicolas, et al.
Published: (2026)

A Comprehensive Study of Machine Learning Techniques for Log-Based Anomaly Detection
by: Ali, Shan, et al.
Published: (2023)