Formal Verification of Quantized Neural Network
Wahiba Bachiri; Yassamine Seladji; Pierre-Loïc Garoche
- Published
- Publisher
- IEEE
- Journal / collection
- 2024 International Conference of the African Federation of Operational Research Societies (AFROS)
- Research area
- AI & compute
- Source type
- Conference paper
- DOI
- 10.1109/afros62115.2024.11037165
The original publisher provides the full text and its access options.
Cite this source
Wahiba Bachiri; Yassamine Seladji; Pierre-Loïc Garoche. Formal Verification of Quantized Neural Network. 2024 International Conference of the African Federation of Operational Research Societies (AFROS). 2024-11-03. https://doi.org/10.1109/afros62115.2024.11037165