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

Commit History

Upload 3 files
ff64834
verified

sean-lamont commited on