Llama3.2-3B-Prover-openr1-distill-SFT

Model Card for Llama3.2-3B-Prover-openr1-distill-SFT

This model is a fine-tuned version of meta-llama/Llama-3.2-3B-Instruct on the rkumar1999/DeepSeek-Prover-V2-chat dataset. It has been trained using TRL.

Quick start

from transformers import pipeline

question = "If you had a time machine, but could only go to the past or the future once and never return, which would you choose and why?"
generator = pipeline("text-generation", model="rkumar1999/Llama3.2-3B-Prover-openr1-distill-SFT", device="cuda")
output = generator([{"role": "user", "content": question}], max_new_tokens=128, return_full_text=False)[0]
print(output["generated_text"])

Training procedure

This model was trained with SFT.

Framework versions

• TRL: 0.23.0
• Transformers: 4.56.2
• Pytorch: 2.8.0+cu128
• Datasets: 4.1.1
• Tokenizers: 0.22.1

Citations

Cite TRL as:

@misc{vonwerra2022trl,
	title        = {{TRL: Transformer Reinforcement Learning}},
	author       = {Leandro von Werra and Younes Belkada and Lewis Tunstall and Edward Beeching and Tristan Thrush and Nathan Lambert and Shengyi Huang and Kashif Rasul and Quentin Gallou{\'e}dec},
	year         = 2020,
	journal      = {GitHub repository},
	publisher    = {GitHub},
	howpublished = {\url{https://github.com/huggingface/trl}}
}