deepseek-7b-dafny / config.json

Commit History

model_deepseek_7b_dafny-epoch2
6e728a9

cassanof commited on

model_deepseek_7b_dafny-epoch1
0d63847

cassanof commited on