Hugging Face's logo

morph-labs
/
morph-prover-v0-7b

Text Generation
Transformers
PyTorch
English
mistral
math
lean
Inference Endpoints
text-generation-inference
Model card Files Community
6

request link to blog in model card

#3
by brando - opened
Discussion
brando

request link to blog in model card

brando

https://morph.so/blog/the-personal-ai-proof-engineer/

bentleylong changed discussion status to closed

Sign up or log in to comment