TY - RPRT TI - Verifying Machine Learning Interpretability Requirements through Provenance AU - Lynn Vonderhaar AU - Juan Couder AU - Daryela Cisneros AU - Omar Ochoa PY - 2026 UR - https://arxiv.org/abs/2604.21599 ID - 2604.21599 ER -