Formal Error Bounds In Neural Networks, Lidar Localization, And Generative Models In Closed-Loop Learning