Tree neural networks in HOL4 (Q2219410)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Tree neural networks in HOL4
scientific article

    Statements

    title
    Tree neural networks in HOL4 (English)
    0 references
    author
    Thibault Gauthier
    0 references
    publication date
    20 January 2021
    0 references
    describes a project that uses
    XGBoost
    0 references
    HOL
    0 references
    LIBLINEAR
    0 references

    Identifiers

    zbMATH DE Number
    7298570
    0 references
    OpenAlex ID
    W3042660573
    0 references
    arXiv ID
    2009.01827
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2219410&oldid=33476812"
    Powered by MediaWiki