End of training

README.md

@@ -1,9 +1,11 @@
 ---
 base_model: rkumar1999/Llama3.2-3B-Prover-openr1-distill-SFT
+datasets: rkumar1999/OBT-proof-short-60-n10000
 library_name: transformers
 model_name: Llama3.2-3B-Prover-openr1-distill-GRPO
 tags:
 - generated_from_trainer
+- open-r1
 - trl
 - grpo
 licence: license
@@ -11,7 +13,7 @@ licence: license
 
 # Model Card for Llama3.2-3B-Prover-openr1-distill-GRPO
 
-This model is a fine-tuned version of [rkumar1999/Llama3.2-3B-Prover-openr1-distill-SFT](https://huggingface.co/rkumar1999/Llama3.2-3B-Prover-openr1-distill-SFT).
+This model is a fine-tuned version of [rkumar1999/Llama3.2-3B-Prover-openr1-distill-SFT](https://huggingface.co/rkumar1999/Llama3.2-3B-Prover-openr1-distill-SFT) on the [rkumar1999/OBT-proof-short-60-n10000](https://huggingface.co/datasets/rkumar1999/OBT-proof-short-60-n10000) dataset.
 It has been trained using [TRL](https://github.com/huggingface/trl).
 
 ## Quick start

config.json

@@ -0,0 +1,36 @@
+{
+  "architectures": [
+    "LlamaForCausalLM"
+  ],
+  "attention_bias": false,
+  "attention_dropout": 0.0,
+  "bos_token_id": 128000,
+  "dtype": "bfloat16",
+  "eos_token_id": 128009,
+  "head_dim": 128,
+  "hidden_act": "silu",
+  "hidden_size": 3072,
+  "initializer_range": 0.02,
+  "intermediate_size": 8192,
+  "max_position_embeddings": 131072,
+  "mlp_bias": false,
+  "model_type": "llama",
+  "num_attention_heads": 24,
+  "num_hidden_layers": 28,
+  "num_key_value_heads": 8,
+  "pad_token_id": 128009,
+  "pretraining_tp": 1,
+  "rms_norm_eps": 1e-05,
+  "rope_scaling": {
+    "factor": 32.0,
+    "high_freq_factor": 4.0,
+    "low_freq_factor": 1.0,
+    "original_max_position_embeddings": 8192,
+    "rope_type": "llama3"
+  },
+  "rope_theta": 500000.0,
+  "tie_word_embeddings": true,
+  "transformers_version": "4.57.0",
+  "use_cache": true,
+  "vocab_size": 128256
+}