README.md

---
pipeline_tag: text-generation
license: other
language:
- en
- zh
tags:
- math
quantized_by: bartowski
lm_studio:
  param_count: 22x8b
  use_case: math
  release_date: 24-05-2024
  model_creator: InternLM
  prompt_template: ChatML
  system_prompt: none
  base_model: InternLM
  original_repo: internlm/internlm2-math-plus-mixtral8x22b
base_model: internlm/internlm2-math-plus-mixtral8x22b
---
## 💫 Community Model> InternLM2 Math Plus Mixtral 8x22B by InternLM

*👾 [LM Studio](https://lmstudio.ai) Community models highlights program. Highlighting new & noteworthy models by the community. Join the conversation on [Discord](https://discord.gg/aPQfnNkxGC)*.

**Model creator:** [InternLM](https://huggingface.co/internlm)<br>
**Original model**: [internlm2-math-plus-mixtral8x22b](https://huggingface.co/internlm/internlm2-math-plus-mixtral8x22b)<br>
**GGUF quantization:** provided by [bartowski](https://huggingface.co/bartowski) based on `llama.cpp` release [b3001](https://github.com/ggerganov/llama.cpp/releases/tag/b3001)<br>

## Model Summary:

InternLM2 Math Plus is a series of math proficient models by InternLM, following up on their original series of math models.<br>
This series has state of the art bilingual open-sourced math reasoning models at several sizes. This should be used as a solver, prover, verifier, augmentor, with chain of thought reasoning.

## Prompt template:

Choose the `ChatML` preset in your LM Studio.

Under the hood, the model will see a prompt that's formatted like so:

```
<|im_start|>user
{prompt}<|im_end|>
<|im_start|>assistant
```

## Technical Details

Math Plus has improved informal math reasoning performance (chain-of-thought and code-intepreter) and formal math reasoning performance (LEAN 4 translation and LEAN 4 theorem proving).<br>
InternLM2-Math are continued pretrained from InternLM2-Base with ~100B high quality math-related tokens and SFT with ~2M bilingual math supervised data.<br>
More details can be found here: https://github.com/InternLM/InternLM-Math

## Special thanks

🙏 Special thanks to [Georgi Gerganov](https://github.com/ggerganov) and the whole team working on [llama.cpp](https://github.com/ggerganov/llama.cpp/) 

🙏 Special thanks to [Kalomaze](https://github.com/kalomaze) and [Dampf](https://github.com/Dampfinchen) for their work on the dataset (linked [here](https://gist.github.com/bartowski1182/eb213dccb3571f863da82e99418f81e8)) that was used for calculating the imatrix for all sizes.

## Disclaimers

LM Studio is not the creator, originator, or owner of any Model featured in the Community Model Program. Each Community Model is created and provided by third parties. LM Studio does not endorse, support, represent or guarantee the completeness, truthfulness, accuracy, or reliability of any Community Model.  You understand that Community Models can produce content that might be offensive, harmful, inaccurate or otherwise inappropriate, or deceptive. Each Community Model is the sole responsibility of the person or entity who originated such Model. LM Studio may not monitor or control the Community Models and cannot, and does not, take responsibility for any such Model. LM Studio disclaims all warranties or guarantees about the accuracy, reliability or benefits of the Community Models.  LM Studio further disclaims any warranty that the Community Model will meet your requirements, be secure, uninterrupted or available at any time or location, or error-free, viruses-free, or that any errors will be corrected, or otherwise. You will be solely responsible for any damage resulting from your use of or access to the Community Models, your downloading of any Community Model, or use of any other Community Model provided by or through LM Studio.