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

    Neuronpedia

    INDEX
    Explanations

    keywords related to formal semantics and computational frameworks

    oai_token-act-pair · gpt-4o-miniTriggered by @bot
    New Auto-Interp
    Negative Logits
    udu
    -0.15
     trib
    -0.14
     rh
    -0.14
    _phys
    -0.14
    OLOR
    -0.14
     anth
    -0.13
     Vic
    -0.13
     phòng
    -0.13
    achuset
    -0.13
     antenn
    -0.13
    POSITIVE LOGITS
     proof
    0.25
     sound
    0.23
     automated
    0.23
    sound
    0.21
     Proof
    0.21
     Automated
    0.21
     SAT
    0.21
     correctness
    0.20
     program
    0.20
    Sound
    0.20
    Act Density 0.050%

    No Known Activations