Premise selection model (large) for LeanHammer.

Each branch is a Lean/Mathlib version on which the model is trained. Please check out the appropriate branch.

Downloads last month: -; Downloads are not tracked for this model. How to track

Inference Providers NEW

This model isn't deployed by any Inference Provider. 🙋 Ask for provider support