Beta
Explore
Marketplace
Neural Labs
Chat
Wallet
Docs
llm_atp_model – AI Model by RYbWnlL0v8 | AlphaNeural AI
You can deploy this model and start earning money today!
RYbWnlL0v8
/
llm_atp_model
like
0
safetensors
qwen2
apache-2.0
us
Views
No views yet
Model card
Files and Versions
Community
API
Deploy
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.
