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.
Inference Providers NEW
This model isn't deployed by any Inference Provider. 🙋 Ask for provider support