Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems7 articles•82 pages•Published: October 23, 2023 Papers
Keyphrasesabstract interpretation2, adversarial training2, Artificial Intelligence, bias, deep learning, Deep Neural Networks, domain-specific languages, formal analysis, formal verification, homomorphic encryption, Hyperproperties, Input Node Sensitivity, Lipschitz constant, machine learning, Model Checking., Neural Network Verification3, neural networks verification, NLP, noise tolerance, polynomial approximation, privacy-preserving machine learning, programming languages, Reinforcement Learning, robustness, Safe Machine Learning, Software Engineering, state space reduction, Trustworthy Machine Learning, types |