\textsf{lazyCoP}: lazy paramodulation meets neurally guided search (Q2142075)

From MaRDI portal
Revision as of 02:24, 29 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
\textsf{lazyCoP}: lazy paramodulation meets neurally guided search
scientific article

    Statements

    title
    \textsf{lazyCoP}: lazy paramodulation meets neurally guided search (English)
    0 references
    author
    Michael Rawson
    0 references
    Giles Reger
    0 references
    publication date
    25 May 2022
    0 references
    describes a project that uses
    ileanCoP
    0 references
    MPTP 0.2
    0 references
    VAMPIRE
    0 references
    CUDA
    0 references
    Mizar
    0 references
    ENIGMA
    0 references
    E Theorem Prover
    0 references
    NeuroSAT
    0 references
    SGDR
    0 references
    TPTP
    0 references
    MaLeCoP
    0 references
    leanCoP
    0 references
    FEMaLeCoP
    0 references
    HOList
    0 references
    OTTER
    0 references
    Sledgehammer
    0 references
    DeepMath
    0 references
    TacticToe
    0 references
    cites work
    Q3075247
    0 references
    Q2751380
    0 references
    Q2751359
    0 references
    Q3150301
    0 references

    Identifiers

    zbMATH DE Number
    7532516
    0 references
    OpenAlex ID
    W3196948051
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2142075&oldid=36809247"
    Powered by MediaWiki