Comment by lambdaone
3 days ago
Trivially, all finite neural networks can be represented to arbitrary precision by implementing them with digital logic. All digital logic can be represented by computer programs, so at this point we can pull in the entire apparatus of abstract interpretation, program proving and so on.
Try it & see how that goes.