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

    Neuronpedia

    INDEX
    Explanations

    mathematical expressions and symbols that imply a formal structure or definition involving quantifiers and conditions

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

    Mathematical statements containing "forall"

    np_acts-logits-general · gemini-2.0-flash

    universal quantifier

    np_acts-logits-general · gemini-2.5-flash-lite
    New Auto-Interp
    Negative Logits
    httphttps
    -0.51
    BoxShadow
    -0.50
     asy
    -0.49
     Défense
    -0.49
    setVerticalGroup
    -0.48
     Monfieur
    -0.48
     feroit
    -0.47
    SupportActionBar
    -0.47
    AsUp
    -0.47
     виправивши
    -0.45
    POSITIVE LOGITS
    RegressionTest
    0.51
     Haushalts
    0.38
    forall
    0.38
    parsedMessage
    0.36
     sobald
    0.36
     każdym
    0.36
    ctically
    0.36
    SuccessListener
    0.35
    LogFactory
    0.35
     suficientemente
    0.34
    Act Density 1.385%

    No Known Activations