INDEX
    Explanations

    mathematical expressions and notations related to formal proofs

    New Auto-Interp
    Negative Logits
     “
    -0.77
    \}}
    -0.70
    })}\
    -0.69
     $_{\
    -0.68
    }$_
    -0.67
     }}=\
    -0.65
     })}
    -0.65
     $\}$
    -0.65
     $=\
    -0.63
    $^{-
    -0.62
    POSITIVE LOGITS
     Monfieur
    0.94
     enfans
    0.89
     Cæsar
    0.88
     uſed
    0.83
     Efq
    0.81
     auroit
    0.80
     eenige
    0.80
    didSet
    0.79
     Anſ
    0.78
    CloseOperation
    0.76
    Act Density 7.474%

    No Known Activations