leandojo-lean3-tacgen-byt5-small / tokenizer_config.json

Commit History

Upload 5 files
82d9458

kaiyuy commited on