Proven Neural Networks