Verifying Recurrent Neural Networks Using Invariant Inference (Q6485856)

From MaRDI portal
Revision as of 14:01, 6 September 2024 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 7636238
Language Label Description Also known as
English
Verifying Recurrent Neural Networks Using Invariant Inference
scientific article; zbMATH DE number 7636238

    Statements

    Verifying Recurrent Neural Networks Using Invariant Inference (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    22 December 2022
    0 references

    Identifiers