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

    Neuronpedia

    INDEX
    Explanations

    formal mathematical statements and definitions

    oai_token-act-pair · gpt-4o-miniTriggered by @bot
    New Auto-Interp
    Negative Logits
     giornal
    -0.43
    WireFormatLite
    -0.40
    ]+$
    -0.40
    "+"
    -0.38
    intios
    -0.36
    一番
    -0.36
     mandatario
    -0.35
     raiſ
    -0.35
     pitches
    -0.35
     Ment
    -0.34
    POSITIVE LOGITS
    Corollary
    0.93
    Theorem
    0.88
    THEOREM
    0.84
     theorem
    0.80
    theorem
    0.79
    Lemma
    0.79
     Theorem
    0.76
     StatelessWidget
    0.73
     theorems
    0.68
     Lemma
    0.63
    Act Density 0.899%

    No Known Activations