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

    Neuronpedia

    INDEX
    Explanations

    mathematical terms and notation, particularly related to theorems and proofs

    oai_token-act-pair · gpt-4o-miniTriggered by @bot
    New Auto-Interp
    Negative Logits
    TintMode
    -0.70
    InputBorder
    -0.67
    GOTREF
    -0.64
    WebServlet
    -0.54
    WritableDatabase
    -0.51
    AccessFile
    -0.51
    دانشنامهٔ
    -0.51
    RunWith
    -0.50
     متحده
    -0.49
    AutoScale
    -0.49
    POSITIVE LOGITS
     lemma
    0.89
     Lemma
    0.81
     theorem
    0.81
    lemma
    0.79
     lemmas
    0.77
     proof
    0.77
     corollary
    0.77
     Theorem
    0.76
     lema
    0.73
    Lemma
    0.73
    Act Density 1.883%

    No Known Activations