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

    Neuronpedia

    INDEX
    Explanations

    mathematical notations and symbols used in formal proofs

    oai_token-act-pair · gpt-4o-miniTriggered by @bot

    mathematical notation and equations, particularly involving Greek letters and symbolic mathematical expressions.

    oai_token-act-pair · claude-3-5-haiku-20241022Triggered by @neilrathi
    New Auto-Interp
    Negative Logits
    msgTypes
    -0.84
    rungsseite
    -0.79
    <unused41>
    -0.78
    <unused16>
    -0.77
    <unused28>
    -0.77
    <unused17>
    -0.77
    <unused42>
    -0.77
    <unused43>
    -0.77
    <pad>
    -0.77
    <unused14>
    -0.77
    POSITIVE LOGITS
     of
    0.46
     itself
    0.32
     above
    0.31
     elsewhere
    0.31
     near
    0.31
    0.31
     before
    0.30
     led
    0.30
     cannot
    0.30
     alone
    0.29
    Act Density 0.847%
    No Known Activations