Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers.
Matthew L. DaggittWen KokkeRobert AtkeyLuca ArnaboldiEkaterina KomendantskayaPublished in: CoRR (2022)
Keyphrases
- theorem prover
- neural network
- computer algebra systems
- theorem proving
- automated reasoning
- automated theorem proving
- first order logic
- computer algebra
- inference rules
- automated deduction
- artificial neural networks
- term rewriting
- proof search
- timed automata
- higher order logic
- autonomous vehicles
- genetic algorithm
- pedestrian detection
- real time
- neural network is trained
- formal semantics
- fuzzy logic
- neural network model
- data acquisition
- back propagation
- user interaction
- fixed point
- human body