Releases: Rigorous-Software-Engineering/nomos
Releases · Rigorous-Software-Engineering/nomos
IJCAI2023 Snapshot
Repository snapshot for the IJCAI 2023 paper titled "Specifying and Testing k-Safety Properties for Machine-Learning Models".
Repository snapshot for the IJCAI 2023 paper titled "Specifying and Testing k-Safety Properties for Machine-Learning Models".