Back to papers
April 23, 2026cs.AIcs.SE

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation

Jingyang Li, Xin Chen, Hongfei Fu, Guoqiang Li
Read on arXivDownload PDF
Categories

cs.AI, cs.SE