LeanDojo
Collection
Machine learning for theorem proving in Lean: https://leandojo.org/
•
10 items
•
Updated
•
2
Tactic generation model in CTranslate2 format, generated by:
pip install ctranslate2
ct2-transformers-converter --model kaiyuy/leandojo-lean4-tacgen-byt5-small --output_dir ct2-leandojo-lean4-tacgen-byt5-small
- Downloads last month
- 2
Inference Providers
NEW
This model isn't deployed by any Inference Provider.
🙋
Ask for provider support