Model: florath/CoqLLM-FineTuned-Experiment-Gen0
Author: florath
Pipeline: text-generation
Library: peft
Tags: peft, safetensors, text-generation, arxiv:2403.12627, base_model:mistralai/Mistral-7B-v0.1, base_model:adapter:mistralai/Mistral-7B-v0.1, license:bigcode-openrail-m, region:us
Base models (adapter): id: mistralai/Mistral-7B-v0.1
Card metadata: license: bigcode-openrail-m
pipeline_tag: text-generation
library_name: peft
base_model: mistralai/Mistral-7B-v0.1
widget: example_title: Proof: n = n + 0
text: Lemma plus_n_O : forall n:nat, n = n + 0., example_title: Proof: 7 + 3 = 10
text: Lemma ex1: 7 + 3 = 10., example_title: Wrong proposition
text: Lemma mult_S : forall m n : nat, S (m * n) = m * n + n.
Likes: 2 | All-time downloads: 361
Created: 2024-03-18 07:28:26