Towards Rigorous Design of OoD Detectors.

Chih-Hong Cheng Changshun Wu Harald Ruess Saddek Bensalem

Published in: CoRR (2023)

Keyphrases

formal specification
social networks
building blocks
open source