Hugging Face model: dassarthak18/phi3.5-fstar-lora
Author: dassarthak18
Created: 2025-11-24 02:37:13
Last modified: 2025-11-24 03:16:25
Pipeline: text-generation
Library: sfttrainer
Likes: 0 | Downloads: 0
Tags: sfttrainer, tensorboard, safetensors, code, fstar, formal-verification, sft, lora, peft, text-generation, conversational, en, dataset:dassarthak18/FStarDataset-V2-Conversation, arxiv:2405.01787, base_model:microsoft/Phi-3.5-mini-instruct, base_model:adapter:microsoft/Phi-3.5-mini-instruct, license:mit, region:us
Base model relation: adapter
Base models: id: microsoft/Phi-3.5-mini-instruct
Card metadata:
license: mit
datasets: dassarthak18/FStarDataset-V2-Conversation
language: en
metrics: loss, perplexity
pipeline_tag: text-generation
base_model: microsoft/Phi-3.5-mini-instruct
tags: code, fstar, formal-verification, sft, lora, peft
library_name: sfttrainer