2024
Data-Driven Discovery of Design Specifications (Student Abstract)
AAAI 2024technical
Ensuring a machine learning model’s trustworthiness is crucial to prevent potential harm. One way to foster trust is through the formal verification of the model’s adherence to essential design requirements. However, this approach relies on well-defined, application-domain-centric criteria with whic…