LeanDojo
Collection
Machine learning for theorem proving in Lean: https://leandojo.org/ • 10 items • Updated • 2
ct2-transformers-converter --model aware-ai/byt5-german-grammar --output_dir ct2-byt5-german-grammar
- Downloads last month
- 3
Inference Providers NEW
This model isn't deployed by any Inference Provider. 🙋 Ask for provider support