LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation
This repository contains the model used in the paper "LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation".
Model
The model is full-tuned based on Qwen2.5-Math-7B.
Usage
Please refer to GitHub page for details.
- Downloads last month
- 6
Inference Providers
NEW
This model isn't deployed by any Inference Provider.
🙋
Ask for provider support