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
Activations Density 7.474%