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

    Neuronpedia

    INDEX
    Explanations

    references to proofs and proof-related terminology in mathematical or academic contexts

    oai_token-act-pair · gpt-4o-miniTriggered by @bot
    New Auto-Interp
    Negative Logits
    JsonInclude
    -0.90
     كومونز
    -0.84
    Hochspringen
    -0.81
     Disqus
    -0.78
     AppBundle
    -0.77
     Burs
    -0.77
    Архівовано
    -0.76
    MigrationBuilder
    -0.74
     Forumite
    -0.73
    zarchiwizowane
    -0.72
    POSITIVE LOGITS
    Proof
    2.59
     Proof
    2.52
    proof
    2.50
     proof
    2.50
     PROOF
    2.31
    PROOF
    2.17
     proofs
    2.09
     Proofs
    1.88
     proofing
    1.61
    proofing
    1.50
    Act Density 0.123%

    No Known Activations