metadata
license: apache-2.0
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.