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

    Neuronpedia

    INDEX
    Explanations

    mathematical symbols and terms related to formal proofs and structures in mathematics

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

    satisfy assumptions

    np_acts-logits-general · gemini-2.5-flash-lite
    New Auto-Interp
    Negative Logits
    WriteBarrier
    -0.66
     esternos
    -0.62
    BufferException
    -0.62
     defaultstate
    -0.60
    DockStyle
    -0.59
    HtmlAttribute
    -0.59
     صوتيه
    -0.59
     avoient
    -0.58
     gynhyrchwyd
    -0.58
    AISSEE
    -0.58
    POSITIVE LOGITS
     satisfy
    0.63
     behave
    0.56
     possess
    0.56
     exhibit
    0.56
     satisfies
    0.51
     belong
    0.48
     possesses
    0.48
     satisfied
    0.46
     удовлет
    0.46
     exhibits
    0.44
    Act Density 0.493%

    No Known Activations