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

    Neuronpedia

    INDEX
    Explanations

    mathematical notation and expressions related to formal proofs

    oai_token-act-pair · gpt-4o-miniTriggered by @bot
    New Auto-Interp
    Negative Logits
    ChildScrollView
    -0.47
     noqa
    -0.46
    WriteTagHelper
    -0.43
     aceto
    -0.43
     nouve
    -0.41
     Venice
    -0.41
    KommentareTeilen
    -0.40
    brigens
    -0.39
    duled
    -0.38
     mergeFrom
    -0.38
    POSITIVE LOGITS
    ViewFeatures
    0.49
    WebServlet
    0.47
    istoitu
    0.46
     multiplied
    0.45
     olympiques
    0.43
     plus
    0.40
    unakan
    0.40
     uğ
    0.39
    minus
    0.38
     ناش
    0.37
    Act Density 2.514%

    No Known Activations