Reluplex: a calculus for reasoning about deep neural networks (Q6108442)

From MaRDI portal
scientific article; zbMATH DE number 7704611
Language Label Description Also known as
English
Reluplex: a calculus for reasoning about deep neural networks
scientific article; zbMATH DE number 7704611

    Statements

    Reluplex: a calculus for reasoning about deep neural networks (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    29 June 2023
    0 references
    deep neural networks
    0 references
    verification
    0 references
    satisfiability modulo theories
    0 references

    Identifiers