ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description) (Q5049022)

From MaRDI portal
scientific article; zbMATH DE number 7614690
Language Label Description Also known as
English
ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description)
scientific article; zbMATH DE number 7614690

    Statements

    ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description) (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    9 November 2022
    0 references
    0 references
    automated theorem proving
    0 references
    machine learning
    0 references
    neural networks
    0 references
    decision trees
    0 references
    saturation-style proving
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references