How do you formally verify your neural networks and the like? Or is formal verification possible? Does this limit the areas where it can be applied?