Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
dassarthak18
/
phi3.5-fstar-lora
like
0
Text Generation
TensorBoard
Safetensors
PEFT
dassarthak18/FStarDataset-V2-Conversation
English
sfttrainer
code
fstar
formal-verification
sft
lora
conversational
arxiv:
2405.01787
License:
mit
Model card
Files
Files and versions
xet
Metrics
Training metrics
Community
Use this model
main
phi3.5-fstar-lora
87.1 MB
1 contributor
History:
8 commits
dassarthak18
Update README.md
9cc52b2
verified
about 2 months ago
logs
Upload 2 files
about 2 months ago
scripts
Upload 15 files
about 2 months ago
.gitattributes
1.59 kB
Upload 15 files
about 2 months ago
README.md
1.49 kB
Update README.md
about 2 months ago
adapter_config.json
1.06 kB
Upload 15 files
about 2 months ago
adapter_model.safetensors
71.3 MB
xet
Upload 15 files
about 2 months ago
added_tokens.json
293 Bytes
Upload 15 files
about 2 months ago
chat_template.jinja
430 Bytes
Upload 15 files
about 2 months ago
special_tokens_map.json
569 Bytes
Upload 15 files
about 2 months ago
tokenizer.json
3.62 MB
Upload 15 files
about 2 months ago
tokenizer.model
500 kB
xet
Upload 15 files
about 2 months ago
tokenizer_config.json
2.93 kB
Upload 15 files
about 2 months ago