Picture for Robert Atkey

Robert Atkey

Efficient compilation of expressive problem space specifications to neural network solvers

Add code
Jan 24, 2024
Viaarxiv icon

Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs

Add code
Jan 12, 2024
Viaarxiv icon

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