A General Framework for Property-Driven Machine Learning

Thomas Flinkow, Marco Casadio, Colin Kessler +2

Neural networks have been shown to frequently fail to learn critical safety and correctness properties purely from data, highlighting the need for training methods that directly in…