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

    Neuronpedia

    INDEX
    Explanations

    mathematical symbols and terms related to functions and sequences in formal proofs

    oai_token-act-pair · gpt-4o-miniTriggered by @bot
    New Auto-Interp
    Negative Logits
     short
    -0.66
    ≪
    -0.56
     Short
    -0.51
    short
    -0.46
    ≠
    -0.45
    Short
    -0.45
    ]<<
    -0.45
     below
    -0.45
     brief
    -0.44
    )<<
    -0.44
    POSITIVE LOGITS
     >=
    0.59
     >=",
    0.56
    出版年
    0.51
    +#+#
    0.51
     <=
    0.51
    ValueStyle
    0.49
     kasarigan
    0.48
     PeEnEo
    0.47
     <=",
    0.47
     nahilalakip
    0.45
    Act Density 0.486%

    No Known Activations