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

    Neuronpedia

    INDEX
    Explanations

    colon

    np_max-act · gemini-2.0-flash

    code related to defining data structures and functions in programming, specifically in relation to AVL trees.

    oai_token-act-pair · gpt-4o-miniTriggered by @xinyanhu8

    This neuron fires on the parts of Coq source that name and declare items—e.g. the head of definitions or instances and their parameters (like “Instance … Specs”, “WITH n : …”, and definition names “Vprog”, “Gprog”).

    oai_token-act-pair · o4-miniTriggered by @xinyanhu8
    New Auto-Interp
    Negative Logits
     bodyParser
    -0.06
    Assignment
    -0.06
    因
    -0.06
    Symbols
    -0.06
    athroom
    -0.06
     imitation
    -0.06
    Communication
    -0.06
     notre
    -0.06
    χη
    -0.06
     bathroom
    -0.06
    POSITIVE LOGITS
     {-
    0.08
    direct
    0.07
     Right
    0.07
    {T
    0.07
     ::
    0.07
     Questions
    0.07
    ariate
    0.07
    funcs
    0.06
     KL
    0.06
    .ObjectMeta
    0.06
    Act Density 0.004%

    No Known Activations