Hugging Face's logo

fumiyau
/
mathlib4_state_diff_v3

Safetensors
xlm-roberta
Model card Files
xet
Community
mathlib4_state_diff_v3

Commit History

Training in progress, step 1811419
cf48088
verified

fumiyau commited on

Training in progress, step 1800306
18d51a2
verified

fumiyau commited on

Training in progress, step 1789193
c01d976
verified

fumiyau commited on

Training in progress, step 1778080
c6a4837
verified

fumiyau commited on

Training in progress, step 1766967
5b83473
verified

fumiyau commited on

Training in progress, step 1755854
93a8c7c
verified

fumiyau commited on

Training in progress, step 1744741
5febcca
verified

fumiyau commited on

Training in progress, step 1733628
3f12cbf
verified

fumiyau commited on

Training in progress, step 1722515
a2b30e9
verified

fumiyau commited on

Training in progress, step 1711402
5d460a2
verified

fumiyau commited on

Training in progress, step 1700289
ba01ddd
verified

fumiyau commited on

Training in progress, step 1689176
f6e10d5
verified

fumiyau commited on

Training in progress, step 1678063
94d20ba
verified

fumiyau commited on

Training in progress, step 1666950
e67c01d
verified

fumiyau commited on

Training in progress, step 1655837
5ff75e0
verified

fumiyau commited on

Training in progress, step 1644724
4784656
verified

fumiyau commited on

Training in progress, step 1633611
8520b8a
verified

fumiyau commited on

Training in progress, step 1622498
3ed7b0d
verified

fumiyau commited on

Training in progress, step 1611385
c144b6d
verified

fumiyau commited on

Training in progress, step 1600272
adec5d7
verified

fumiyau commited on

Training in progress, step 1589159
6779e9d
verified

fumiyau commited on

Training in progress, step 1578046
f9e5a78
verified

fumiyau commited on

Training in progress, step 1566933
cb0bc54
verified

fumiyau commited on

Training in progress, step 1555820
84eaed1
verified

fumiyau commited on

Training in progress, step 1544707
ae24c46
verified

fumiyau commited on

Training in progress, step 1533594
90048dc
verified

fumiyau commited on

Training in progress, step 1522481
34676f5
verified

fumiyau commited on

Training in progress, step 1511368
70b19a0
verified

fumiyau commited on

Training in progress, step 1500255
7a632ce
verified

fumiyau commited on

Training in progress, step 1489142
44cc614
verified

fumiyau commited on

Training in progress, step 1478029
67cf4c1
verified

fumiyau commited on

Training in progress, step 1466916
7e0a822
verified

fumiyau commited on

Training in progress, step 1455803
30a3da1
verified

fumiyau commited on

Training in progress, step 1444690
f7a1e7f
verified

fumiyau commited on

Training in progress, step 1433577
18f7252
verified

fumiyau commited on

Training in progress, step 1422464
980d401
verified

fumiyau commited on

Training in progress, step 1411351
8ce9aa3
verified

fumiyau commited on

Training in progress, step 1400238
461bbc1
verified

fumiyau commited on

Training in progress, step 1389125
aef952c
verified

fumiyau commited on

Training in progress, step 1378012
ab30e01
verified

fumiyau commited on

Training in progress, step 1366899
aa3f7ad
verified

fumiyau commited on

Training in progress, step 1355786
b6b4616
verified

fumiyau commited on

Training in progress, step 1344673
416e01f
verified

fumiyau commited on

Training in progress, step 1333560
8235a23
verified

fumiyau commited on

Training in progress, step 1322447
6025547
verified

fumiyau commited on

Training in progress, step 1311334
3d40c04
verified

fumiyau commited on

Training in progress, step 1300221
f176ea9
verified

fumiyau commited on

Training in progress, step 1289108
8db7c7e
verified

fumiyau commited on

Training in progress, step 1277995
cbb5b36
verified

fumiyau commited on

Training in progress, step 1266882
85ba431
verified

fumiyau commited on