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

    Neuronpedia

    INDEX
    Explanations

    technical terms and phrases related to proofs and mathematical reasoning

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

    conditions for lemmas and formulas

    np_acts-logits-general · gemini-2.5-flash-lite
    New Auto-Interp
    Negative Logits
    enterOuterAlt
    -0.60
    argout
    -0.60
    sidemargin
    -0.60
     betweenstory
    -0.57
     kasarigan
    -0.56
    ponses
    -0.47
    stdc
    -0.47
    balleur
    -0.43
     uska
    -0.43
    клопе
    -0.42
    POSITIVE LOGITS
    
    0.71
    WriteTagHelper
    0.66
    /**
    0.55
    awtextra
    0.49
    queryInterface
    0.47
    elemField
    0.44
     onCreateView
    0.42
    UnusedPrivate
    0.39
    ModelSerializer
    0.38
    ProcessEvent
    0.38
    Act Density 1.207%

    No Known Activations