A case study shows that combining Marabou/Vehicle with CORA can partially verify neural-network controllers for Alsomitra-inspired gliders, but practical guarantees remain out of reach.
Neural Network Verification is a Programming Language Challenge
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
Neural network verification is a new and rapidly developing field of research. So far, the main priority has been establishing efficient verification algorithms and tools, while proper support from the programming language perspective has been considered secondary or unimportant. Yet, there is mounting evidence that insights from the programming language community may make a difference in the future development of this domain. In this paper, we formulate neural network verification challenges as programming language challenges and suggest possible future solutions.
fields
cs.RO 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Neural Network Verification for Gliding Drone Control: A Case Study
A case study shows that combining Marabou/Vehicle with CORA can partially verify neural-network controllers for Alsomitra-inspired gliders, but practical guarantees remain out of reach.