Model: dassarthak18/granite-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:ibm-granite/granite-8b-code-instruct-4k, base_model:adapter:ibm-granite/granite-8b-code-instruct-4k, license:mit, region:us
Base models (adapter): 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
Likes: 0 | All-time downloads: 0
Created: 2025-11-28 13:24:24