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

    Neuronpedia

    INDEX
    Explanations

    phrases related to mathematical proofs and theorems

    oai_token-act-pair · gpt-4o-miniTriggered by @bot
    New Auto-Interp
    Negative Logits
    archiviato
    -1.01
    Hochspringen
    -1.00
     nahilalakip
    -0.99
    日閲覧
    -0.99
     يتيمه
    -0.97
    awtextra
    -0.95
    rungsseite
    -0.94
     للاسماء
    -0.94
    IBOutlet
    -0.94
     дописавши
    -0.92
    POSITIVE LOGITS
    Proof
    2.25
     proof
    2.21
     Proof
    2.21
    proof
    2.14
     PROOF
    2.11
     proofs
    1.99
    PROOF
    1.87
     Proofs
    1.74
     proofing
    1.63
    proofing
    1.34
    Act Density 0.066%

    No Known Activations