Alert button

Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers

Feb 10, 2022
Matthew L. Daggitt, Wen Kokke, Robert Atkey, Luca Arnaboldi, Ekaterina Komendantskya

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

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: