---
license: llama2
language:
- en
pipeline_tag: text-generation
tags:
- math
- lean
---

# **morph-prover-v0-7b**

![banner](https://pbs.twimg.com/profile_images/1669255916980686848/mTW-mxbC_400x400.jpg)

## Table of Contents

1. **<a href="https://huggingface.co/morph-labs/morph-prover-v0-7b-gguf#model-summary" target="_blank">Model Summary</a>**
2. **<a href="https://huggingface.co/morph-labs/morph-prover-v0-7b-gguf#uses" target="_blank">Uses</a>**
3. **<a href="https://huggingface.co/morph-labs/morph-prover-v0-7b-gguf#installation-and-getting-started" target="_blank">Installation and Getting Started</a>**
4. **<a href="https://huggingface.co/morph-labs/morph-prover-v0-7b-gguf#contact" target="_blank">Contact</a>**
5. **<a href="https://huggingface.co/morph-labs/morph-prover-v0-7b-gguf#ethical-considerations-and-limitations" target="_blank">Ethical Considerations & Limitations</a>**


# **Model Summary**

- **Developed by:** **<a href="https://www.morph.so" target="_blank">Morph Labs</a>**
- **Language(s) (NLP):** English.
- **License:** **<a href="https://ai.meta.com/resources/models-and-libraries/llama-downloads/" target="_blank">Llama2</a>**

## Uses

## Installation and Getting Started


## Contact

**<a href="https://forms.gle/fwZhARyzrGEz9t4Q6" target="_blank">Contact Form</a>**


## Ethical Considerations and Limitations

morph-prover-v0-7b, as with all Large Language Models, carries inherent risks with use. Testing has been solely conducted in English, and our testing has not been fully comprehensive nor could be fully comprehensive of all use scenarios. The model may be prone to producing inaccurate, unsatisfactory, or otherwise undesirable outputs, and thus we encourage all developers to test and tune to their specific use case prior to deployment.

We encourage you to check out **[Meta's Responsible Use Guide for Llama 2](https://ai.meta.com/llama/responsible-user-guide)**.