Abstract: Systems and methods are provided for implementing safety-aware artificial intelligence (AI) that can be used for autonomously controlling systems, such as an autonomous vehicle, in a manner that is proven to satisfy given safety constraints. Additionally, a safety-aware training technique can be applied to learned AI-based models, such as neural networks. The safety-aware training techniques can apply automated reasoning tools (ART) while the AI model is trained, in order to produce a model that is provable safe with respect to the safety constraints. The ART can integrate verification into the training process, and thereby dynamically re-train the model based on the safety verification in a feedback loop approach. The ART can be configured to either verify that the AI model is provably safety, or to provide updates to the training parameters used during to re-train the AI model in instances when the safety verification has failed.