Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
Pricing
Log In
Sign Up
florath
/
CoqLLM-FineTuned-Experiment-Gen0
like
1
Text Generation
PEFT
Safetensors
arxiv:
2403.12627
License:
bigcode-openrail-m
Model card
Files
Files and versions
Community
1
Use this model
main
CoqLLM-FineTuned-Experiment-Gen0
/
README.md
Commit History
Added missing tokenizer line
4e5cfaf
verified
florath
commited on
Mar 31
Added reference to paper.
9c1e499
verified
florath
commited on
Mar 20
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