Formal proofs of neural networks trained with simulators

• The preprint: CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators
• The (open-source) code
• The experiments (coming soon): currently, networks trained and proved on 3x3, 5x5 and 7x7 images; statistics and larger images in progress