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

    Neuronpedia

    INDEX
    Explanations

    mathematical concepts and terminologies related to formal proofs and theorems

    oai_token-act-pair · gpt-4o-miniTriggered by @bot
    New Auto-Interp
    Negative Logits
     Fade
    -0.15
    jam
    -0.15
     Geile
    -0.15
    wick
    -0.14
     sÃŃd
    -0.14
    GUI
    -0.14
    INFRINGEMENT
    -0.13
    微软éĽħé»ij
    -0.13
    inja
    -0.13
    LEAN
    -0.13
    POSITIVE LOGITS
     section
    0.15
    æĸĹ
    0.15
    oplast
    0.14
    má
    0.14
    onom
    0.14
    OTA
    0.14
     subsection
    0.14
    Our
    0.14
    rael
    0.13
    (section
    0.13
    Act Density 0.088%

    No Known Activations