Wishing users to be clear that the model's formalization ability is (contrastivelty) relatively faible compared to LeanStatement_SFT and PPO, thus may only be considered as an experimental model.
- Downloads last month
- -
Inference Providers NEW
This model isn't deployed by any Inference Provider. 🙋 Ask for provider support