Pages that link to "Item:Q2233508"
From MaRDI portal
The following pages link to An SMT-based approach for verifying binarized neural networks (Q2233508):
Displaying 3 items.
- \textsf{BDD4BNN}: a BDD-based quantitative analysis framework for binarized neural networks (Q832164) (← links)
- On neural network equivalence checking using SMT solvers (Q2112128) (← links)
- Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes (Q5026215) (← links)
