Pages that link to "Item:Q832044"
From MaRDI portal
The following pages link to DiffRNN: differential verification of recurrent neural networks (Q832044):
Displaying 4 items.
- Example Guided Synthesis of Linear Approximations for Neural Network Verification (Q6487316) (← links)
- Certifying the fairness of KNN in the presence of dataset bias (Q6535542) (← links)
- \textsf{QEBVerif}: quantization error bound verification of neural networks (Q6535546) (← links)
- LinSyn: synthesizing tight linear bounds for arbitrary neural network activation functions (Q6535572) (← links)
