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 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

Training in progress, step 2367069
90548ae
verified

fumiyau commited on

Training in progress, step 2355956
20e860f
verified

fumiyau commited on

Training in progress, step 2344843
e474f94
verified

fumiyau commited on

Training in progress, step 2333730
e981afb
verified

fumiyau commited on

Training in progress, step 2322617
12b23b0
verified

fumiyau commited on

Training in progress, step 2311504
430c5db
verified

fumiyau commited on

Training in progress, step 2300391
e035c70
verified

fumiyau commited on

Training in progress, step 2289278
b621afb
verified

fumiyau commited on

Training in progress, step 2278165
2db1a5e
verified

fumiyau commited on

Training in progress, step 2267052
f60ca94
verified

fumiyau commited on