Hugging Face's logo

fumiyau
/
mathlib4_state_diff_v2

Safetensors
xlm-roberta
Model card Files
xet
Community
mathlib4_state_diff_v2

Commit History

Training in progress, step 295100
a4cb462
verified

fumiyau commited on

Training in progress, step 283296
84a8266
verified

fumiyau commited on

Training in progress, step 271492
8c1cc8f
verified

fumiyau commited on

Training in progress, step 259688
890be8d
verified

fumiyau commited on

Training in progress, step 247884
e71fac9
verified

fumiyau commited on

Training in progress, step 236080
1d52aec
verified

fumiyau commited on

Training in progress, step 224276
2f40173
verified

fumiyau commited on

Training in progress, step 212472
e59e695
verified

fumiyau commited on

Training in progress, step 200668
f35df22
verified

fumiyau commited on

Training in progress, step 188864
d11f158
verified

fumiyau commited on

Training in progress, step 177060
06bf3da
verified

fumiyau commited on

Training in progress, step 165256
e0f9807
verified

fumiyau commited on

Training in progress, step 153452
566c824
verified

fumiyau commited on

Training in progress, step 141648
a36a2ea
verified

fumiyau commited on

Training in progress, step 129844
d5e293c
verified

fumiyau commited on

Training in progress, step 118040
dcfb074
verified

fumiyau commited on

Training in progress, step 106236
0c7aa15
verified

fumiyau commited on

Training in progress, step 94432
6a81589
verified

fumiyau commited on

Training in progress, step 82628
6534939
verified

fumiyau commited on

Training in progress, step 70824
db55d24
verified

fumiyau commited on

Training in progress, step 59020
413d920
verified

fumiyau commited on

Training in progress, step 47216
7d2d3ec
verified

fumiyau commited on

Training in progress, step 35412
e38a24d
verified

fumiyau commited on

Training in progress, step 23608
969133b
verified

fumiyau commited on

Training in progress, step 11804
5f916f5
verified

fumiyau commited on

initial commit
fbe3279
verified

fumiyau commited on