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

    Neuronpedia

    INDEX
    Explanations

    terms related to mathematical proof and demonstration

    oai_token-act-pair · gpt-4o-miniTriggered by @bot
    New Auto-Interp
    Negative Logits
    SPJ
    -0.50
    unal
    -0.49
     rozho
    -0.46
    gegeben
    -0.45
    emore
    -0.45
    toral
    -0.45
     general
    -0.44
    NewUrlParser
    -0.43
    труд
    -0.43
    Choices
    -0.43
    POSITIVE LOGITS
    Prove
    1.24
     Prove
    1.23
     prouver
    1.16
     prouve
    1.05
     proves
    1.04
     proving
    1.02
    prove
    1.01
     proofs
    1.00
     proof
    1.00
     Proving
    0.99
    Act Density 0.509%

    No Known Activations