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

    Neuronpedia

    INDEX
    Explanations

    references to mathematical applications and proofs

    oai_token-act-pair · gpt-4o-miniTriggered by @bot
    New Auto-Interp
    Negative Logits
    RunWith
    -0.66
    CodedInputStream
    -0.63
    WriteBarrier
    -0.63
     ***!
    -0.60
    migrationBuilder
    -0.58
     وصلة
    -0.57
    RegistryLite
    -0.56
    MigrationBuilder
    -0.55
    ModelAdmin
    -0.55
    ActionCreators
    -0.55
    POSITIVE LOGITS
     theorem
    0.89
     property
    0.81
     properties
    0.79
     rule
    0.77
    Theorem
    0.74
     Theorem
    0.73
    property
    0.72
     theorems
    0.70
     principle
    0.70
     Lemma
    0.69
    Act Density 1.158%

    No Known Activations