Picture for Ekaterina Komendantskya

Ekaterina Komendantskya

Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers

Add code
Feb 10, 2022
Figure 1 for Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers
Figure 2 for Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers
Figure 3 for Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers
Figure 4 for Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers
Viaarxiv icon