3 ms·
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?
by solmag 5y ago
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?