Neuronpedia logo - a computer chip with a rounded viewfinder border around it

    Neuronpedia

    INDEX
    Explanations

    mathematical symbols and constructs used in formal proofs and equations

    oai_token-act-pair · gpt-4o-miniTriggered by @bot
    New Auto-Interp
    Negative Logits
    TemporalType
    -0.79
    DockStyle
    -0.75
     IBOutlet
    -0.63
    WritableDatabase
    -0.62
    mybatisplus
    -0.62
    antd
    -0.59
    estacks
    -0.58
    ualitas
    -0.57
     Longfellow
    -0.57
    lename
    -0.57
    POSITIVE LOGITS
    MathML
    0.89
    displaystyle
    0.87
    mstyle
    0.79
    math
    0.74
     <<<<<<<<<<<<<<
    0.73
    TagMode
    0.66
     stringBuilder
    0.64
    verwijspagina
    0.61
    newcommand
    0.61
    ActionMode
    0.60
    Act Density 0.760%

    No Known Activations