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

    Neuronpedia

    INDEX
    Explanations

    mathematical concepts related to implications and existence within formal logic

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

    logical implication and existence quantifiers

    np_acts-logits-general · gemini-2.5-flash-lite
    New Auto-Interp
    Negative Logits
    msgTypes
    -0.59
     resourceCulture
    -0.55
    __':
    -0.55
    __":
    -0.55
    WebServlet
    -0.54
    nloa
    -0.54
     SqlDbType
    -0.53
    awtextra
    -0.53
    __':
    -0.52
    +#+#
    -0.52
    POSITIVE LOGITS
     Existenz
    0.43
    0.39
     hypothesis
    0.38
    rzu
    0.36
     conditional
    0.34
     drauf
    0.34
     gravidez
    0.33
    oredCriteria
    0.33
     exist
    0.32
     consequences
    0.32
    Act Density 0.148%

    No Known Activations