Create README.md

README.md

@@ -0,0 +1,12 @@
+---
+license: mit
+language:
+- en
+base_model:
+- Qwen/Qwen2.5-7B-Instruct
+---
+
+
+Qwen2.5 7B Instrauct model fine-tuned on ProverQA [1] echo 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.