Model Card for Qwen3-4B-nl2fol
This model is a fine-tuned version of Qwen/Qwen3-4B-Instruct-2507. It has been trained using TRL. It has been fine-tuned using a representative sample of MALLS converted to NLTK Prover9 syntax.
Usage
from transformers import AutoModelForCausalLM, AutoTokenizer
model = AutoModelForCausalLM.from_pretrained("teaislife/Qwen3-4B-nl2fol")
tokenizer = AutoTokenizer.from_pretrained("teaislife/Qwen3-4B-nl2fol")
- Downloads last month
- 15
Inference Providers NEW
This model isn't deployed by any Inference Provider. 🙋 Ask for provider support
Model tree for teaislife/Qwen3-4B-nl2fol
Base model
Qwen/Qwen3-4B-Instruct-2507