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 1255769
a947cd3
verified

fumiyau commited on

Training in progress, step 1244656
c6965f8
verified

fumiyau commited on

Training in progress, step 1233543
f425a88
verified

fumiyau commited on

Training in progress, step 1222430
b47e777
verified

fumiyau commited on

Training in progress, step 1211317
b30b4a1
verified

fumiyau commited on

Training in progress, step 1200204
38f5ad3
verified

fumiyau commited on

Training in progress, step 1189091
9e3a3db
verified

fumiyau commited on

Training in progress, step 1177978
4c097bd
verified

fumiyau commited on

Training in progress, step 1166865
d215bb0
verified

fumiyau commited on

Training in progress, step 1155752
8682e5a
verified

fumiyau commited on

Training in progress, step 1144639
ad945a9
verified

fumiyau commited on

Training in progress, step 1133526
2a9e2aa
verified

fumiyau commited on

Training in progress, step 1122413
dae84ec
verified

fumiyau commited on

Training in progress, step 1111300
9165032
verified

fumiyau commited on

Training in progress, step 1100187
730bf15
verified

fumiyau commited on

Training in progress, step 1089074
3961ba7
verified

fumiyau commited on

Training in progress, step 1077961
16a11f4
verified

fumiyau commited on

Training in progress, step 1066848
89f025e
verified

fumiyau commited on

Training in progress, step 1055735
a153790
verified

fumiyau commited on

Training in progress, step 1044622
5d5dff9
verified

fumiyau commited on

Training in progress, step 1033509
59944d1
verified

fumiyau commited on

Training in progress, step 1022396
4a2a68e
verified

fumiyau commited on

Training in progress, step 1011283
ab6f5bb
verified

fumiyau commited on

Training in progress, step 1000170
0b2dd9a
verified

fumiyau commited on

Training in progress, step 989057
136a94d
verified

fumiyau commited on

Training in progress, step 977944
6dd8918
verified

fumiyau commited on

Training in progress, step 966831
a463f48
verified

fumiyau commited on

Training in progress, step 955718
eaaa62f
verified

fumiyau commited on

Training in progress, step 944605
ead4e22
verified

fumiyau commited on

Training in progress, step 933492
ce8e07b
verified

fumiyau commited on

Training in progress, step 922379
02a9a51
verified

fumiyau commited on

Training in progress, step 911266
17049e1
verified

fumiyau commited on

Training in progress, step 900153
f873d29
verified

fumiyau commited on

Training in progress, step 889040
7248d94
verified

fumiyau commited on

Training in progress, step 877927
99f6068
verified

fumiyau commited on

Training in progress, step 866814
a8f5e96
verified

fumiyau commited on

Training in progress, step 855701
f86d8c8
verified

fumiyau commited on

Training in progress, step 844588
7fe312a
verified

fumiyau commited on

Training in progress, step 833475
08d2b94
verified

fumiyau commited on

Training in progress, step 822362
9dfe9e6
verified

fumiyau commited on

Training in progress, step 811249
156c19d
verified

fumiyau commited on

Training in progress, step 800136
8120d58
verified

fumiyau commited on

Training in progress, step 789023
c676253
verified

fumiyau commited on

Training in progress, step 777910
31d2e79
verified

fumiyau commited on

Training in progress, step 766797
cba46a6
verified

fumiyau commited on

Training in progress, step 755684
b0a003e
verified

fumiyau commited on

Training in progress, step 744571
48db8e0
verified

fumiyau commited on

Training in progress, step 733458
5a92226
verified

fumiyau commited on

Training in progress, step 722345
bce5a9f
verified

fumiyau commited on

Training in progress, step 711232
f4f375c
verified

fumiyau commited on