hanwenzhu
/

all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-ne5

Create README.md

a674cea verified about 1 year ago

186 Bytes

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.