Geodesic
Formal verification for quantized neural networks
Annales mathematicae et informaticae, Tome 57 (2023), pp. 36-48.

Voir la notice de l'article provenant de la source Annales Mathematica et Informaticae website

@article{AMI_2023_57_a2,
     author = {Gergely Kov\'asznai and Dorina Hedvig Kiss and P\'eter Mlink\'o},
     title = {Formal verification for quantized neural networks},
     journal = {Annales mathematicae et informaticae},
     pages = {36--48},
     publisher = {mathdoc},
     volume = {57},
     year = {2023},
     doi = {10.33039/ami.2023.04.003},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.33039/ami.2023.04.003/}
}
TY  - JOUR
AU  - Gergely Kovásznai
AU  - Dorina Hedvig Kiss
AU  - Péter Mlinkó
TI  - Formal verification for quantized neural networks
JO  - Annales mathematicae et informaticae
PY  - 2023
SP  - 36
EP  - 48
VL  - 57
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.33039/ami.2023.04.003/
DO  - 10.33039/ami.2023.04.003
LA  - en
ID  - AMI_2023_57_a2
ER  - 
%0 Journal Article
%A Gergely Kovásznai
%A Dorina Hedvig Kiss
%A Péter Mlinkó
%T Formal verification for quantized neural networks
%J Annales mathematicae et informaticae
%D 2023
%P 36-48
%V 57
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.33039/ami.2023.04.003/
%R 10.33039/ami.2023.04.003
%G en
%F AMI_2023_57_a2
Gergely Kovásznai; Dorina Hedvig Kiss; Péter Mlinkó. Formal verification for quantized neural networks. Annales mathematicae et informaticae, Tome 57 (2023), pp. 36-48. doi : 10.33039/ami.2023.04.003. http://geodesic.mathdoc.fr/articles/10.33039/ami.2023.04.003/

Cité par Sources :