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 700119
afcff65
verified

fumiyau commited on

Training in progress, step 689006
3fd1a90
verified

fumiyau commited on

Training in progress, step 677893
352ecf1
verified

fumiyau commited on

Training in progress, step 666780
6aecd63
verified

fumiyau commited on

Training in progress, step 655667
9ae67d3
verified

fumiyau commited on

Training in progress, step 644554
4af07e1
verified

fumiyau commited on

Training in progress, step 633441
a666648
verified

fumiyau commited on

Training in progress, step 622328
5f5d533
verified

fumiyau commited on

Training in progress, step 611215
236b8f5
verified

fumiyau commited on

Training in progress, step 600102
6d2e4d1
verified

fumiyau commited on

Training in progress, step 588989
46deafc
verified

fumiyau commited on

Training in progress, step 577876
1c704a1
verified

fumiyau commited on

Training in progress, step 566763
8c97308
verified

fumiyau commited on

Training in progress, step 555650
ef3e63e
verified

fumiyau commited on

Training in progress, step 544537
97f01a0
verified

fumiyau commited on

Training in progress, step 533424
3081f7f
verified

fumiyau commited on

Training in progress, step 522311
35884f1
verified

fumiyau commited on

Training in progress, step 511198
84d435e
verified

fumiyau commited on

Training in progress, step 500085
f625682
verified

fumiyau commited on

Training in progress, step 488972
70d0b41
verified

fumiyau commited on

Training in progress, step 477859
07fc079
verified

fumiyau commited on

Training in progress, step 466746
ddbe547
verified

fumiyau commited on

Training in progress, step 455633
40367a9
verified

fumiyau commited on

Training in progress, step 444520
8a39736
verified

fumiyau commited on

Training in progress, step 433407
5dacdda
verified

fumiyau commited on

Training in progress, step 422294
57b8323
verified

fumiyau commited on

Training in progress, step 411181
95f0391
verified

fumiyau commited on

Training in progress, step 400068
dad90da
verified

fumiyau commited on

Training in progress, step 388955
1fe1900
verified

fumiyau commited on

Training in progress, step 377842
698a6ac
verified

fumiyau commited on

Training in progress, step 366729
26392ae
verified

fumiyau commited on

Training in progress, step 355616
677dc40
verified

fumiyau commited on

Training in progress, step 344503
6783e2c
verified

fumiyau commited on

Training in progress, step 333390
4f443ac
verified

fumiyau commited on

Training in progress, step 322277
73ccb97
verified

fumiyau commited on

Training in progress, step 311164
41782ce
verified

fumiyau commited on

Training in progress, step 300051
af161c1
verified

fumiyau commited on

Training in progress, step 288938
00eac1c
verified

fumiyau commited on

Training in progress, step 277825
d326269
verified

fumiyau commited on

Training in progress, step 266712
e4c8515
verified

fumiyau commited on

Training in progress, step 255599
bfd602f
verified

fumiyau commited on

Training in progress, step 244486
9a971fb
verified

fumiyau commited on

Training in progress, step 233373
4008470
verified

fumiyau commited on

Training in progress, step 222260
85a8922
verified

fumiyau commited on

Training in progress, step 211147
4bbf43a
verified

fumiyau commited on

Training in progress, step 200034
090c2a9
verified

fumiyau commited on

Training in progress, step 188921
9f679b3
verified

fumiyau commited on

Training in progress, step 177808
1d24fa7
verified

fumiyau commited on

Training in progress, step 166695
a9ab3bf
verified

fumiyau commited on

Training in progress, step 155582
3bc0d81
verified

fumiyau commited on