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

    Neuronpedia

    INDEX
    Explanations

    mathematical terms and concepts related to proof construction

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

    Mathematical proofs

    np_acts-logits-general · gemini-2.0-flash

    mathematical proofs and proving

    np_acts-logits-general · gemini-2.5-flash-lite
    New Auto-Interp
    Negative Logits
    hdashline
    -0.59
    出版年
    -0.57
    AddHtmlAttribute
    -0.55
    Üdv
    -0.53
     lèvres
    -0.49
    ruptedException
    -0.49
    endforeach
    -0.48
    équation
    -0.48
    styleable
    -0.47
    الإنجليزية
    -0.47
    POSITIVE LOGITS
     proof
    0.91
     proofs
    0.78
     proving
    0.75
    proof
    0.73
    Proof
    0.71
     PROOF
    0.70
    TagMode
    0.70
    PROOF
    0.69
     Proof
    0.69
     induction
    0.69
    Act Density 1.324%

    No Known Activations