leandojo-lean4-tacgen-byt5-small / generation_config.json

Commit History

Upload 5 files
a2cb9e2

kaiyuy commited on