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

    Neuronpedia

    INDEX
    Explanations

    key mathematical concepts and results related to proofs and definitions

    oai_token-act-pair · gpt-4o-miniTriggered by @bot
    New Auto-Interp
    Negative Logits
     '\\;'
    -0.78
    rrggbb
    -0.52
    tagHelperRunner
    -0.52
     informée
    -0.51
     متحده
    -0.50
     Audiodateien
    -0.50
    StoryboardSegue
    -0.49
    AnimationsModule
    -0.48
    Geplaatst
    -0.47
     ब्रेकडाउन
    -0.47
    POSITIVE LOGITS
     Theorem
    1.04
     Proposition
    1.02
    Proposition
    0.98
     proposition
    0.96
     theorem
    0.96
    Theorem
    0.93
     Lemma
    0.93
    Lemma
    0.88
     Remark
    0.85
     Corollary
    0.84
    Act Density 1.626%

    No Known Activations