Improving stateful premise selection with transformers (Q2128800)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Improving stateful premise selection with transformers
scientific article

    Statements

    Improving stateful premise selection with transformers (English)
    0 references
    0 references
    0 references
    0 references
    22 April 2022
    0 references
    premise selection
    0 references
    machine learning
    0 references
    neural networks
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers