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

Training in progress, step 2255939
7c21693
verified

fumiyau commited on

Training in progress, step 2244826
329997d
verified

fumiyau commited on

Training in progress, step 2233713
4ed7753
verified

fumiyau commited on

Training in progress, step 2222600
e5e8d01
verified

fumiyau commited on

Training in progress, step 2211487
fef5a42
verified

fumiyau commited on

Training in progress, step 2200374
8c59dc0
verified

fumiyau commited on

Training in progress, step 2189261
79917c8
verified

fumiyau commited on

Training in progress, step 2178148
44ed738
verified

fumiyau commited on

Training in progress, step 2167035
89b5d07
verified

fumiyau commited on

Training in progress, step 2155922
f4d8ddf
verified

fumiyau commited on

Training in progress, step 2144809
cc3689e
verified

fumiyau commited on

Training in progress, step 2133696
3db0f5a
verified

fumiyau commited on

Training in progress, step 2122583
291b053
verified

fumiyau commited on

Training in progress, step 2111470
40cbeb4
verified

fumiyau commited on

Training in progress, step 2100357
eddf7d8
verified

fumiyau commited on

Training in progress, step 2089244
e0b7aa5
verified

fumiyau commited on