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

    Neuronpedia

    INDEX
    Explanations

    mathematical theorems and proofs

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

    Mathematical theorems and results

    np_acts-logits-general · gemini-2.0-flash

    mathematical theorems and their consequences

    np_acts-logits-general · gemini-2.5-flash-lite
    New Auto-Interp
    Negative Logits
    RegistryLite
    -0.72
    ArrowToggle
    -0.65
    GOTREF
    -0.65
    IContainer
    -0.63
    Hentet
    -0.61
    Попис
    -0.61
    Pautan
    -0.59
    TintMode
    -0.59
    awakeFromNib
    -0.58
    userdetails
    -0.58
    POSITIVE LOGITS
     statement
    0.85
     theorem
    0.85
    theorem
    0.75
    statement
    0.74
     statements
    0.74
     asserting
    0.74
     theorems
    0.74
    Statement
    0.73
     affirm
    0.72
    Theorem
    0.71
    Act Density 1.552%

    No Known Activations