© Neuronpedia 2026
    Privacy & TermsBlogGitHubSlackTwitterContact
    Neuronpedia logo - a computer chip with a rounded viewfinder border around it

    Neuronpedia

    Natural Language
    Autoencoders
    NEW    Assistant AxisNEWCircuit TracerUPDATESteerSAE EvalsExportsAPI Community BlogPrivacy & TermsContact
    1. Home
    3. Google DeepMind · Exploring Gemma 2 with Gemma Scope
    5. Gemma-2-2B
    7. Residual Stream - 16k
    9. 0-GEMMASCOPE-RES-16K
    11. 10072
    Prev
    Next
    INDEX
    Explanations

    terms related to proof and verification in mathematical contexts

    oai_token-act-pair · gpt-4o-miniTriggered by @bot
    New Auto-Interp
    Top Features by Cosine Similarity
    Comparing With GEMMA-2-2B @ 0-gemmascope-res-16k
    Configuration
    google/gemma-scope-2b-pt-res/layer_0/width_16k/average_l0_105
    Prompts (Dashboard)
    36,864 prompts, 128 tokens each
    Dataset (Dashboard)
    monology/pile-uncopyrighted
    Features
    16,384
    Data Type
    float32
    Hook Name
    blocks.0.hook_resid_post
    Hook Layer
    0
    Architecture
    jumprelu
    Context Size
    1,024
    Dataset
    monology/pile-uncopyrighted
    Activation Function
    relu
    Embeds
    IFrame
    Link
    Not in Any Lists

    No Comments

    Negative Logits
    EDEFAULT
    -1.03
    yntaxException
    -0.98
    MigrationBuilder
    -0.93
     nakalista
    -0.92
    bootstrapcdn
    -0.92
    ResumeLayout
    -0.90
     gynhyrchwyd
    -0.89
    ioutil
    -0.89
    URLException
    -0.89
     MainAxisSize
    -0.88
    POSITIVE LOGITS
     proof
    0.94
     Proof
    0.80
    Proof
    0.75
     prove
    0.74
     proving
    0.74
     proved
    0.68
     PROOF
    0.67
     birth
    0.64
    proof
    0.63
    Keep
    0.62
    Activations Density 0.124%

    No Known Activations