---
license: apache-2.0
---
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.