Yeah. Guarantees about robustness are pretty useful. That said, even if you didn't trust it, it might be possible to use the approximate alleged solution spat

Yeah. Guarantees about robustness are pretty useful. That said, even if you didn't trust it, it might be possible to use the approximate alleged solution spat out by the neural net as an initial solution to a trusted solver with guarantees. In some cases you might be able to get a guaranteed result from the proper solver with the neural net solution used to accelerate convergence