STREAMING BAYESIAN INFERENCE FOR CROWDSOURCED CLASSIFICATION

von Manino, Edoardo
Veröffentlicht in NeurIPS (33. : 2019 : Vancouver, British Columbia) 32nd Conference on Neural Information Processing Systems (NeurIPS 2019) ; Volume 17 of 20 (2020)

CEG4N: Counter-Example Guided Neural Network Quantization Refinement

von Matos, João Batista P.
Veröffentlicht in Software verification and formal methods for ML-enabled autonomous systems (2022)