Pages that link to "Item:Q6536294"

The following pages link to Analyzing deep neural networks with symbolic propagation: towards higher precision and faster verification (Q6536294):

Displaying 2 items.

• \textsc{OccRob}: efficient SMT-based occlusion robustness verification of deep neural networks (Q6535354) (← links)
• \textsf{QEBVerif}: quantization error bound verification of neural networks (Q6535546) (← links)