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

    Neuronpedia

    INDEX
    Explanations

    mathematical symbols and notations related to convergence in proving mathematical theorems

    oai_token-act-pair · gpt-4o-miniTriggered by @bot
    New Auto-Interp
    Negative Logits
     SqlDbType
    -0.16
    ReturnValue
    -0.16
    eya
    -0.15
    oret
    -0.15
    ÙĬدا
    -0.15
    esters
    -0.14
    à¸Ĩ
    -0.14
    opp
    -0.14
    rics
    -0.14
    luet
    -0.14
    POSITIVE LOGITS
    iff
    0.32
     implies
    0.30
     implication
    0.27
     impl
    0.26
     imply
    0.25
     holds
    0.25
    impl
    0.24
     Impl
    0.24
    _impl
    0.24
    IFF
    0.22
    Act Density 0.128%

    No Known Activations