A regression-tree-based method computes guaranteed bounds on the safe output probability for neural networks under probabilistic inputs by generating safe and unsafe hulls via boundary-aware sampling and prioritized refinement.
McGraw-Hill Education (1997)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation
A regression-tree-based method computes guaranteed bounds on the safe output probability for neural networks under probabilistic inputs by generating safe and unsafe hulls via boundary-aware sampling and prioritized refinement.