ergotts
/

llama_3.1_8b_prop_logic_ft

Text Generation

Trained with AutoTrain

text-generation-inference

Inference Endpoints

Model card Files Files and versions Metrics Training metrics Community

ergotts commited on Aug 26

Commit

f467f4f

•

1 Parent(s): 4fd8155

Update README.md

Files changed (1) hide show

README.md +1 -1

README.md CHANGED Viewed

@@ -13,7 +13,7 @@ license: other
 Model Description
-This model is a LoRA (Low-Rank Adaptation) fine-tuned version of the LLaMA 3.1 8B Instruct model. It has been specifically trained to convert natural language arguments into structured logical forms, including premises, conclusions, and formal symbolic proofs.
 Training Details

 Model Description
+This model is a LoRA (Low-Rank Adaptation) fine-tuned version of the LLaMA 3.1 8B Instruct model. It has been specifically trained to convert natural language arguments into structured logical forms (propositional logic), including premises, conclusions, and formal symbolic proofs.
 Training Details