Update README.md

README.md

@@ -14,6 +14,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 (propositional logic), including premises, conclusions, and formal symbolic proofs.
+Dataset: The model was trained on a custom dataset designed to map natural language arguments to logical structures. For more details, visit the dataset link: https://huggingface.co/datasets/ergotts/propositional-logic.
 
 Training Details
 
@@ -22,7 +23,6 @@ Training Details
 	•	LoRA Alpha: 32
 	•	Epochs: 15
 	•	Batch Size: 2
-	•	Dataset: The model was trained on a custom dataset designed to map natural language arguments to logical structures. For more details, visit the dataset link: https://huggingface.co/datasets/ergotts/propositional-logic.
 
 
 # Usage