florath
/

CoqLLM-FineTuned-Experiment-Gen0

Text Generation

Model card Files Files and versions Community

CoqLLM-FineTuned-Experiment-Gen0

Commit History

Added missing tokenizer line

4e5cfaf
verified

florath commited on Mar 31

Added reference to paper.

9c1e499
verified

florath commited on Mar 20

Initial model upload

e998d71

florath commited on Mar 18

Added example texts

19056b6

florath commited on Mar 18

First version of the model card

6b45168

florath commited on Mar 18

initial commit

12b1d20
verified

florath commited on Mar 18