Hugging Face model: dassarthak18/granite-fstar-lora
Author: dassarthak18
Created: 2025-11-28 13:24:24
Last modified: 2025-11-28 13:36:12
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:ibm-granite/granite-8b-code-instruct-4k, base_model:adapter:ibm-granite/granite-8b-code-instruct-4k, license:mit, region:us
Base model relation: adapter
Base models: id: ibm-granite/granite-8b-code-instruct-4k
Card metadata:
license: mit
datasets: dassarthak18/FStarDataset-V2-Conversation
language: en
metrics: loss, perplexity
pipeline_tag: text-generation
base_model: ibm-granite/granite-8b-code-instruct-4k
tags: code, fstar, formal-verification, sft, lora, peft
library_name: sfttrainer