Model: dassarthak18/phi3.5-fstar-lora
Author: dassarthak18
Pipeline: text-generation
Library: sfttrainer
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 models (adapter): 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
Likes: 0 | All-time downloads: 0
Created: 2025-11-24 02:37:13