Search Results for author:
Found 1 papers, 0 papers with code
Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers
However, although work has managed to incorporate the results of these verifiers to prove larger properties of individual systems, there is currently no general methodology for bridging the gap between verifiers and interactive theorem provers (ITPs).
Cannot find the paper you are looking for? You can
Submit a new open access paper.
