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

    Neuronpedia

    INDEX
    Explanations

    terms related to formal proofs and mathematical concepts

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

    academic and technical terminology related to mathematical and computational concepts.

    oai_token-act-pair · claude-3-5-haiku-20241022Triggered by @neilrathi
    New Auto-Interp
    Negative Logits
    IonicModule
    -0.69
    Datuak
    -0.65
    parsedMessage
    -0.65
     <>",
    -0.60
    AnchorStyles
    -0.57
    NegativeButton
    -0.56
    awtextra
    -0.55
     ***!
    -0.55
     IBOutlet
    -0.54
    IsMutable
    -0.53
    POSITIVE LOGITS
     Paglinawan
    0.77
     sympy
    0.56
    idopsis
    0.56
     philosopher
    0.54
     philosophers
    0.54
     mathematicians
    0.53
    esgue
    0.52
    DataAnnotations
    0.50
     theorems
    0.50
    клопе
    0.50
    Act Density 1.209%

    No Known Activations