RYbWnlL0v8

llm_atp_model

RYbWnlL0v8/llm_atp_model

llm_atp_model is a machine learning model from RYbWnlL0v8. Use it for the machine learning task on the model card, and read the license before you ship it in a product. The card lists the license as apache-2.0.

This repository contains the model used in the paper "LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation".