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

    Neuronpedia

    INDEX
    Explanations

    concepts related to mathematical logic and semantics in the context of programming languages

    oai_token-act-pair · gpt-4o-miniTriggered by @bot
    New Auto-Interp
    Negative Logits
    беÑĢ
    -0.16
    íķij
    -0.15
    EO
    -0.14
     Ùģار
    -0.14
    adas
    -0.13
    ÑĥÑĢÑĥ
    -0.13
     Crom
    -0.13
    atan
    -0.13
    rottle
    -0.13
     Tong
    -0.13
    POSITIVE LOGITS
     Proof
    0.24
     proof
    0.23
     Ho
    0.23
     Curry
    0.23
    Proof
    0.20
     proving
    0.20
    è¯ģæĺİ
    0.18
    proof
    0.18
    Ho
    0.18
    turnstile
    0.18
    Act Density 0.045%

    No Known Activations