tomaszki
/
phi-metamath-1.1
like
0
Model card
Files
Files and versions
xet
Metrics
Training metrics
Community
