Qwen2.5-Logic-ORM
Collection
Qwen2.5 7B Instruct ORM models for logical reasoning trained with reasoning from GPT4o
•
10 items
•
Updated
•
1
Qwen2.5 7B Instrauct model fine-tuned on ProverQA [1] rationales created using GPT4o.
[1] Qi, C., Ma, R., Li, B., Du, H., Hui, B., Wu, J., ... & He, C. (2025). Large language models meet symbolic provers for logical reasoning evaluation. arXiv preprint arXiv:2502.06563.
- Downloads last month
- 3
Inference Providers
NEW
This model isn't deployed by any Inference Provider.
🙋
Ask for provider support