zeweizhang commited on
Commit
f410a52
·
verified ·
1 Parent(s): 44f6307

Upload ImitSAT checkpoint.

Browse files
ImitSAT.npz ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:919f831ae13772048952fd76ba5399ed4ddc391ad8f1f534b0f121a578c9e65c
3
+ size 667626083
tokenizer/special_tokens_map.json ADDED
@@ -0,0 +1,11 @@
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "eos_token": {
3
+ "content": "[EOS]",
4
+ "lstrip": false,
5
+ "normalized": false,
6
+ "rstrip": false,
7
+ "single_word": false
8
+ },
9
+ "pad_token": "[PAD]",
10
+ "unk_token": "[UNK]"
11
+ }
tokenizer/tokenizer_config.json ADDED
@@ -0,0 +1,26 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "added_tokens_decoder": {
3
+ "0": {
4
+ "content": "[PAD]",
5
+ "lstrip": false,
6
+ "normalized": false,
7
+ "rstrip": false,
8
+ "single_word": false,
9
+ "special": true
10
+ },
11
+ "1015": {
12
+ "content": "[EOS]",
13
+ "lstrip": false,
14
+ "normalized": false,
15
+ "rstrip": false,
16
+ "single_word": false,
17
+ "special": true
18
+ }
19
+ },
20
+ "clean_up_tokenization_spaces": true,
21
+ "eos_token": "[EOS]",
22
+ "model_max_length": 1000000000000000019884624838656,
23
+ "pad_token": "[PAD]",
24
+ "tokenizer_class": "CDCLTokenizer",
25
+ "unk_token": "[UNK]"
26
+ }
tokenizer/vocab.txt ADDED
@@ -0,0 +1,1017 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ [PAD]
2
+ 0
3
+ 1
4
+ 2
5
+ 3
6
+ 4
7
+ 5
8
+ 6
9
+ 7
10
+ 8
11
+ 9
12
+ 10
13
+ 11
14
+ 12
15
+ 13
16
+ 14
17
+ 15
18
+ 16
19
+ 17
20
+ 18
21
+ 19
22
+ 20
23
+ 21
24
+ 22
25
+ 23
26
+ 24
27
+ 25
28
+ 26
29
+ 27
30
+ 28
31
+ 29
32
+ 30
33
+ 31
34
+ 32
35
+ 33
36
+ 34
37
+ 35
38
+ 36
39
+ 37
40
+ 38
41
+ 39
42
+ 40
43
+ 41
44
+ 42
45
+ 43
46
+ 44
47
+ 45
48
+ 46
49
+ 47
50
+ 48
51
+ 49
52
+ 50
53
+ 51
54
+ 52
55
+ 53
56
+ 54
57
+ 55
58
+ 56
59
+ 57
60
+ 58
61
+ 59
62
+ 60
63
+ 61
64
+ 62
65
+ 63
66
+ 64
67
+ 65
68
+ 66
69
+ 67
70
+ 68
71
+ 69
72
+ 70
73
+ 71
74
+ 72
75
+ 73
76
+ 74
77
+ 75
78
+ 76
79
+ 77
80
+ 78
81
+ 79
82
+ 80
83
+ 81
84
+ 82
85
+ 83
86
+ 84
87
+ 85
88
+ 86
89
+ 87
90
+ 88
91
+ 89
92
+ 90
93
+ 91
94
+ 92
95
+ 93
96
+ 94
97
+ 95
98
+ 96
99
+ 97
100
+ 98
101
+ 99
102
+ 100
103
+ 101
104
+ 102
105
+ 103
106
+ 104
107
+ 105
108
+ 106
109
+ 107
110
+ 108
111
+ 109
112
+ 110
113
+ 111
114
+ 112
115
+ 113
116
+ 114
117
+ 115
118
+ 116
119
+ 117
120
+ 118
121
+ 119
122
+ 120
123
+ 121
124
+ 122
125
+ 123
126
+ 124
127
+ 125
128
+ 126
129
+ 127
130
+ 128
131
+ 129
132
+ 130
133
+ 131
134
+ 132
135
+ 133
136
+ 134
137
+ 135
138
+ 136
139
+ 137
140
+ 138
141
+ 139
142
+ 140
143
+ 141
144
+ 142
145
+ 143
146
+ 144
147
+ 145
148
+ 146
149
+ 147
150
+ 148
151
+ 149
152
+ 150
153
+ 151
154
+ 152
155
+ 153
156
+ 154
157
+ 155
158
+ 156
159
+ 157
160
+ 158
161
+ 159
162
+ 160
163
+ 161
164
+ 162
165
+ 163
166
+ 164
167
+ 165
168
+ 166
169
+ 167
170
+ 168
171
+ 169
172
+ 170
173
+ 171
174
+ 172
175
+ 173
176
+ 174
177
+ 175
178
+ 176
179
+ 177
180
+ 178
181
+ 179
182
+ 180
183
+ 181
184
+ 182
185
+ 183
186
+ 184
187
+ 185
188
+ 186
189
+ 187
190
+ 188
191
+ 189
192
+ 190
193
+ 191
194
+ 192
195
+ 193
196
+ 194
197
+ 195
198
+ 196
199
+ 197
200
+ 198
201
+ 199
202
+ 200
203
+ 201
204
+ 202
205
+ 203
206
+ 204
207
+ 205
208
+ 206
209
+ 207
210
+ 208
211
+ 209
212
+ 210
213
+ 211
214
+ 212
215
+ 213
216
+ 214
217
+ 215
218
+ 216
219
+ 217
220
+ 218
221
+ 219
222
+ 220
223
+ 221
224
+ 222
225
+ 223
226
+ 224
227
+ 225
228
+ 226
229
+ 227
230
+ 228
231
+ 229
232
+ 230
233
+ 231
234
+ 232
235
+ 233
236
+ 234
237
+ 235
238
+ 236
239
+ 237
240
+ 238
241
+ 239
242
+ 240
243
+ 241
244
+ 242
245
+ 243
246
+ 244
247
+ 245
248
+ 246
249
+ 247
250
+ 248
251
+ 249
252
+ 250
253
+ 251
254
+ 252
255
+ 253
256
+ 254
257
+ 255
258
+ 256
259
+ 257
260
+ 258
261
+ 259
262
+ 260
263
+ 261
264
+ 262
265
+ 263
266
+ 264
267
+ 265
268
+ 266
269
+ 267
270
+ 268
271
+ 269
272
+ 270
273
+ 271
274
+ 272
275
+ 273
276
+ 274
277
+ 275
278
+ 276
279
+ 277
280
+ 278
281
+ 279
282
+ 280
283
+ 281
284
+ 282
285
+ 283
286
+ 284
287
+ 285
288
+ 286
289
+ 287
290
+ 288
291
+ 289
292
+ 290
293
+ 291
294
+ 292
295
+ 293
296
+ 294
297
+ 295
298
+ 296
299
+ 297
300
+ 298
301
+ 299
302
+ 300
303
+ 301
304
+ 302
305
+ 303
306
+ 304
307
+ 305
308
+ 306
309
+ 307
310
+ 308
311
+ 309
312
+ 310
313
+ 311
314
+ 312
315
+ 313
316
+ 314
317
+ 315
318
+ 316
319
+ 317
320
+ 318
321
+ 319
322
+ 320
323
+ 321
324
+ 322
325
+ 323
326
+ 324
327
+ 325
328
+ 326
329
+ 327
330
+ 328
331
+ 329
332
+ 330
333
+ 331
334
+ 332
335
+ 333
336
+ 334
337
+ 335
338
+ 336
339
+ 337
340
+ 338
341
+ 339
342
+ 340
343
+ 341
344
+ 342
345
+ 343
346
+ 344
347
+ 345
348
+ 346
349
+ 347
350
+ 348
351
+ 349
352
+ 350
353
+ 351
354
+ 352
355
+ 353
356
+ 354
357
+ 355
358
+ 356
359
+ 357
360
+ 358
361
+ 359
362
+ 360
363
+ 361
364
+ 362
365
+ 363
366
+ 364
367
+ 365
368
+ 366
369
+ 367
370
+ 368
371
+ 369
372
+ 370
373
+ 371
374
+ 372
375
+ 373
376
+ 374
377
+ 375
378
+ 376
379
+ 377
380
+ 378
381
+ 379
382
+ 380
383
+ 381
384
+ 382
385
+ 383
386
+ 384
387
+ 385
388
+ 386
389
+ 387
390
+ 388
391
+ 389
392
+ 390
393
+ 391
394
+ 392
395
+ 393
396
+ 394
397
+ 395
398
+ 396
399
+ 397
400
+ 398
401
+ 399
402
+ 400
403
+ 401
404
+ 402
405
+ 403
406
+ 404
407
+ 405
408
+ 406
409
+ 407
410
+ 408
411
+ 409
412
+ 410
413
+ 411
414
+ 412
415
+ 413
416
+ 414
417
+ 415
418
+ 416
419
+ 417
420
+ 418
421
+ 419
422
+ 420
423
+ 421
424
+ 422
425
+ 423
426
+ 424
427
+ 425
428
+ 426
429
+ 427
430
+ 428
431
+ 429
432
+ 430
433
+ 431
434
+ 432
435
+ 433
436
+ 434
437
+ 435
438
+ 436
439
+ 437
440
+ 438
441
+ 439
442
+ 440
443
+ 441
444
+ 442
445
+ 443
446
+ 444
447
+ 445
448
+ 446
449
+ 447
450
+ 448
451
+ 449
452
+ 450
453
+ 451
454
+ 452
455
+ 453
456
+ 454
457
+ 455
458
+ 456
459
+ 457
460
+ 458
461
+ 459
462
+ 460
463
+ 461
464
+ 462
465
+ 463
466
+ 464
467
+ 465
468
+ 466
469
+ 467
470
+ 468
471
+ 469
472
+ 470
473
+ 471
474
+ 472
475
+ 473
476
+ 474
477
+ 475
478
+ 476
479
+ 477
480
+ 478
481
+ 479
482
+ 480
483
+ 481
484
+ 482
485
+ 483
486
+ 484
487
+ 485
488
+ 486
489
+ 487
490
+ 488
491
+ 489
492
+ 490
493
+ 491
494
+ 492
495
+ 493
496
+ 494
497
+ 495
498
+ 496
499
+ 497
500
+ 498
501
+ 499
502
+ 500
503
+ 501
504
+ 502
505
+ 503
506
+ 504
507
+ 505
508
+ -1
509
+ -2
510
+ -3
511
+ -4
512
+ -5
513
+ -6
514
+ -7
515
+ -8
516
+ -9
517
+ -10
518
+ -11
519
+ -12
520
+ -13
521
+ -14
522
+ -15
523
+ -16
524
+ -17
525
+ -18
526
+ -19
527
+ -20
528
+ -21
529
+ -22
530
+ -23
531
+ -24
532
+ -25
533
+ -26
534
+ -27
535
+ -28
536
+ -29
537
+ -30
538
+ -31
539
+ -32
540
+ -33
541
+ -34
542
+ -35
543
+ -36
544
+ -37
545
+ -38
546
+ -39
547
+ -40
548
+ -41
549
+ -42
550
+ -43
551
+ -44
552
+ -45
553
+ -46
554
+ -47
555
+ -48
556
+ -49
557
+ -50
558
+ -51
559
+ -52
560
+ -53
561
+ -54
562
+ -55
563
+ -56
564
+ -57
565
+ -58
566
+ -59
567
+ -60
568
+ -61
569
+ -62
570
+ -63
571
+ -64
572
+ -65
573
+ -66
574
+ -67
575
+ -68
576
+ -69
577
+ -70
578
+ -71
579
+ -72
580
+ -73
581
+ -74
582
+ -75
583
+ -76
584
+ -77
585
+ -78
586
+ -79
587
+ -80
588
+ -81
589
+ -82
590
+ -83
591
+ -84
592
+ -85
593
+ -86
594
+ -87
595
+ -88
596
+ -89
597
+ -90
598
+ -91
599
+ -92
600
+ -93
601
+ -94
602
+ -95
603
+ -96
604
+ -97
605
+ -98
606
+ -99
607
+ -100
608
+ -101
609
+ -102
610
+ -103
611
+ -104
612
+ -105
613
+ -106
614
+ -107
615
+ -108
616
+ -109
617
+ -110
618
+ -111
619
+ -112
620
+ -113
621
+ -114
622
+ -115
623
+ -116
624
+ -117
625
+ -118
626
+ -119
627
+ -120
628
+ -121
629
+ -122
630
+ -123
631
+ -124
632
+ -125
633
+ -126
634
+ -127
635
+ -128
636
+ -129
637
+ -130
638
+ -131
639
+ -132
640
+ -133
641
+ -134
642
+ -135
643
+ -136
644
+ -137
645
+ -138
646
+ -139
647
+ -140
648
+ -141
649
+ -142
650
+ -143
651
+ -144
652
+ -145
653
+ -146
654
+ -147
655
+ -148
656
+ -149
657
+ -150
658
+ -151
659
+ -152
660
+ -153
661
+ -154
662
+ -155
663
+ -156
664
+ -157
665
+ -158
666
+ -159
667
+ -160
668
+ -161
669
+ -162
670
+ -163
671
+ -164
672
+ -165
673
+ -166
674
+ -167
675
+ -168
676
+ -169
677
+ -170
678
+ -171
679
+ -172
680
+ -173
681
+ -174
682
+ -175
683
+ -176
684
+ -177
685
+ -178
686
+ -179
687
+ -180
688
+ -181
689
+ -182
690
+ -183
691
+ -184
692
+ -185
693
+ -186
694
+ -187
695
+ -188
696
+ -189
697
+ -190
698
+ -191
699
+ -192
700
+ -193
701
+ -194
702
+ -195
703
+ -196
704
+ -197
705
+ -198
706
+ -199
707
+ -200
708
+ -201
709
+ -202
710
+ -203
711
+ -204
712
+ -205
713
+ -206
714
+ -207
715
+ -208
716
+ -209
717
+ -210
718
+ -211
719
+ -212
720
+ -213
721
+ -214
722
+ -215
723
+ -216
724
+ -217
725
+ -218
726
+ -219
727
+ -220
728
+ -221
729
+ -222
730
+ -223
731
+ -224
732
+ -225
733
+ -226
734
+ -227
735
+ -228
736
+ -229
737
+ -230
738
+ -231
739
+ -232
740
+ -233
741
+ -234
742
+ -235
743
+ -236
744
+ -237
745
+ -238
746
+ -239
747
+ -240
748
+ -241
749
+ -242
750
+ -243
751
+ -244
752
+ -245
753
+ -246
754
+ -247
755
+ -248
756
+ -249
757
+ -250
758
+ -251
759
+ -252
760
+ -253
761
+ -254
762
+ -255
763
+ -256
764
+ -257
765
+ -258
766
+ -259
767
+ -260
768
+ -261
769
+ -262
770
+ -263
771
+ -264
772
+ -265
773
+ -266
774
+ -267
775
+ -268
776
+ -269
777
+ -270
778
+ -271
779
+ -272
780
+ -273
781
+ -274
782
+ -275
783
+ -276
784
+ -277
785
+ -278
786
+ -279
787
+ -280
788
+ -281
789
+ -282
790
+ -283
791
+ -284
792
+ -285
793
+ -286
794
+ -287
795
+ -288
796
+ -289
797
+ -290
798
+ -291
799
+ -292
800
+ -293
801
+ -294
802
+ -295
803
+ -296
804
+ -297
805
+ -298
806
+ -299
807
+ -300
808
+ -301
809
+ -302
810
+ -303
811
+ -304
812
+ -305
813
+ -306
814
+ -307
815
+ -308
816
+ -309
817
+ -310
818
+ -311
819
+ -312
820
+ -313
821
+ -314
822
+ -315
823
+ -316
824
+ -317
825
+ -318
826
+ -319
827
+ -320
828
+ -321
829
+ -322
830
+ -323
831
+ -324
832
+ -325
833
+ -326
834
+ -327
835
+ -328
836
+ -329
837
+ -330
838
+ -331
839
+ -332
840
+ -333
841
+ -334
842
+ -335
843
+ -336
844
+ -337
845
+ -338
846
+ -339
847
+ -340
848
+ -341
849
+ -342
850
+ -343
851
+ -344
852
+ -345
853
+ -346
854
+ -347
855
+ -348
856
+ -349
857
+ -350
858
+ -351
859
+ -352
860
+ -353
861
+ -354
862
+ -355
863
+ -356
864
+ -357
865
+ -358
866
+ -359
867
+ -360
868
+ -361
869
+ -362
870
+ -363
871
+ -364
872
+ -365
873
+ -366
874
+ -367
875
+ -368
876
+ -369
877
+ -370
878
+ -371
879
+ -372
880
+ -373
881
+ -374
882
+ -375
883
+ -376
884
+ -377
885
+ -378
886
+ -379
887
+ -380
888
+ -381
889
+ -382
890
+ -383
891
+ -384
892
+ -385
893
+ -386
894
+ -387
895
+ -388
896
+ -389
897
+ -390
898
+ -391
899
+ -392
900
+ -393
901
+ -394
902
+ -395
903
+ -396
904
+ -397
905
+ -398
906
+ -399
907
+ -400
908
+ -401
909
+ -402
910
+ -403
911
+ -404
912
+ -405
913
+ -406
914
+ -407
915
+ -408
916
+ -409
917
+ -410
918
+ -411
919
+ -412
920
+ -413
921
+ -414
922
+ -415
923
+ -416
924
+ -417
925
+ -418
926
+ -419
927
+ -420
928
+ -421
929
+ -422
930
+ -423
931
+ -424
932
+ -425
933
+ -426
934
+ -427
935
+ -428
936
+ -429
937
+ -430
938
+ -431
939
+ -432
940
+ -433
941
+ -434
942
+ -435
943
+ -436
944
+ -437
945
+ -438
946
+ -439
947
+ -440
948
+ -441
949
+ -442
950
+ -443
951
+ -444
952
+ -445
953
+ -446
954
+ -447
955
+ -448
956
+ -449
957
+ -450
958
+ -451
959
+ -452
960
+ -453
961
+ -454
962
+ -455
963
+ -456
964
+ -457
965
+ -458
966
+ -459
967
+ -460
968
+ -461
969
+ -462
970
+ -463
971
+ -464
972
+ -465
973
+ -466
974
+ -467
975
+ -468
976
+ -469
977
+ -470
978
+ -471
979
+ -472
980
+ -473
981
+ -474
982
+ -475
983
+ -476
984
+ -477
985
+ -478
986
+ -479
987
+ -480
988
+ -481
989
+ -482
990
+ -483
991
+ -484
992
+ -485
993
+ -486
994
+ -487
995
+ -488
996
+ -489
997
+ -490
998
+ -491
999
+ -492
1000
+ -493
1001
+ -494
1002
+ -495
1003
+ -496
1004
+ -497
1005
+ -498
1006
+ -499
1007
+ -500
1008
+ -501
1009
+ -502
1010
+ -503
1011
+ -504
1012
+ -505
1013
+ [CNF]
1014
+ [SEP]
1015
+ D
1016
+ [EOS]
1017
+ [UNK]