Portfolio Solver for Verifying Binarized Neural Networks

Gergely, Kovásznai [Kovásznai, Gergely (informatika), szerző]; Gajdár, Krisztián; Nina, Narodytska

Angol nyelvű Tudományos Absztrakt / Kivonat (Egyéb konferenciaközlemény)
    Azonosítók
    • MTMT: 31674814
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2022-01-28 18:49