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

Training in progress, step 2078131
0c03f5a
verified

fumiyau commited on

Training in progress, step 2067018
c3901fb
verified

fumiyau commited on

Training in progress, step 2055905
7536e26
verified

fumiyau commited on

Training in progress, step 2044792
1ff2ad1
verified

fumiyau commited on

Training in progress, step 2033679
facc89c
verified

fumiyau commited on

Training in progress, step 2022566
ee0c817
verified

fumiyau commited on

Training in progress, step 2011453
ebdbfe6
verified

fumiyau commited on

Training in progress, step 2000340
dcbb889
verified

fumiyau commited on

Training in progress, step 1989227
65fa228
verified

fumiyau commited on

Training in progress, step 1978114
b2f3b1b
verified

fumiyau commited on

Training in progress, step 1967001
db16bcf
verified

fumiyau commited on

Training in progress, step 1955888
ea7ca8d
verified

fumiyau commited on

Training in progress, step 1944775
48fb016
verified

fumiyau commited on

Training in progress, step 1933662
85548c1
verified

fumiyau commited on

Training in progress, step 1922549
774bc4a
verified

fumiyau commited on

Training in progress, step 1911436
d535bc8
verified

fumiyau commited on

Training in progress, step 1900323
f2318ee
verified

fumiyau commited on

Training in progress, step 1889210
b9883d1
verified

fumiyau commited on

Training in progress, step 1878097
6dc073e
verified

fumiyau commited on

Training in progress, step 1866984
5be3b62
verified

fumiyau commited on

Training in progress, step 1855871
a9b104d
verified

fumiyau commited on

Training in progress, step 1844758
9701b61
verified

fumiyau commited on

Training in progress, step 1833645
792f75a
verified

fumiyau commited on

Training in progress, step 1822532
0ad74c9
verified

fumiyau commited on