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 2922719
4dd5113
verified

fumiyau commited on

Training in progress, step 2911606
20d4a97
verified

fumiyau commited on

Training in progress, step 2900493
4041756
verified

fumiyau commited on

Training in progress, step 2889380
2483894
verified

fumiyau commited on

Training in progress, step 2878267
d21f19f
verified

fumiyau commited on

Training in progress, step 2867154
b96e2f1
verified

fumiyau commited on

Training in progress, step 2856041
b5bc383
verified

fumiyau commited on

Training in progress, step 2844928
c2c67c5
verified

fumiyau commited on

Training in progress, step 2833815
b59763d
verified

fumiyau commited on

Training in progress, step 2822702
a6019bf
verified

fumiyau commited on

Training in progress, step 2811589
e2fbfdd
verified

fumiyau commited on

Training in progress, step 2800476
b40a9cb
verified

fumiyau commited on

Training in progress, step 2789363
bd473e3
verified

fumiyau commited on

Training in progress, step 2778250
dd79fac
verified

fumiyau commited on

Training in progress, step 2767137
7bec224
verified

fumiyau commited on

Training in progress, step 2756024
2e9027e
verified

fumiyau commited on

Training in progress, step 2744911
971653a
verified

fumiyau commited on

Training in progress, step 2733798
ec326a5
verified

fumiyau commited on

Training in progress, step 2722685
3d1a1d5
verified

fumiyau commited on

Training in progress, step 2711572
4f19dad
verified

fumiyau commited on

Training in progress, step 2700459
3dcfd35
verified

fumiyau commited on

Training in progress, step 2689346
d611b7c
verified

fumiyau commited on

Training in progress, step 2678233
912309c
verified

fumiyau commited on

Training in progress, step 2667120
1420236
verified

fumiyau commited on

Training in progress, step 2656007
3c057c3
verified

fumiyau commited on

Training in progress, step 2644894
efffe33
verified

fumiyau commited on

Training in progress, step 2633781
2c06403
verified

fumiyau commited on

Training in progress, step 2622668
5624a23
verified

fumiyau commited on

Training in progress, step 2611555
8d293c5
verified

fumiyau commited on

Training in progress, step 2600442
6239847
verified

fumiyau commited on

Training in progress, step 2589329
26479f0
verified

fumiyau commited on

Training in progress, step 2578216
d362793
verified

fumiyau commited on

Training in progress, step 2567103
e0a7648
verified

fumiyau commited on

Training in progress, step 2555990
43399a9
verified

fumiyau commited on

Training in progress, step 2544877
e1db605
verified

fumiyau commited on

Training in progress, step 2533764
d91016a
verified

fumiyau commited on

Training in progress, step 2522651
e903935
verified

fumiyau commited on

Training in progress, step 2511538
7857802
verified

fumiyau commited on

Training in progress, step 2500425
7c5b527
verified

fumiyau commited on

Training in progress, step 2489312
20b466a
verified

fumiyau commited on

Training in progress, step 2478199
aeedba4
verified

fumiyau commited on

Training in progress, step 2467086
08e60cb
verified

fumiyau commited on

Training in progress, step 2455973
f28baa8
verified

fumiyau commited on

Training in progress, step 2444860
d3954ce
verified

fumiyau commited on

Training in progress, step 2433747
2465779
verified

fumiyau commited on

Training in progress, step 2422634
63147a4
verified

fumiyau commited on

Training in progress, step 2411521
7e60d34
verified

fumiyau commited on

Training in progress, step 2400408
20648dc
verified

fumiyau commited on

Training in progress, step 2389295
e4a1adf
verified

fumiyau commited on

Training in progress, step 2378182
098630c
verified

fumiyau commited on