9 citations · 11 across the 5 of their papers we have counts for
1 paper · 1 filter
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…