Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
Pricing
Log In
Sign Up
typeof
/
morph-prover-v0-7b-sharded
like
0
Text Generation
Transformers
Safetensors
English
mistral
math
lean
text-generation-inference
Inference Endpoints
License:
apache-2.0
Model card
Files
Files and versions
Community
Train
Deploy
Use this model
main
morph-prover-v0-7b-sharded
Commit History
Update README.md
f4d1c5d
typeof
commited on
Nov 23, 2023
Update README.md
85f024c
typeof
commited on
Nov 23, 2023
init
f83d6eb
typeof
commited on
Nov 23, 2023
initial commit
83e7488
typeof
commited on
Nov 22, 2023