lmstudio-community/

internlm2-math-plus-7b-GGUF

👾 LM Studio Community models highlights program. Highlighting new & noteworthy models by the community. Join the conversation on Discord.

Model creator: InternLM
Original model: internlm2-math-plus-7b
GGUF quantization: provided by bartowski based on llama.cpp release b3001

InternLM2 Math Plus is a series of math proficient models by InternLM, following up on their original series of math models.
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.

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

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).
InternLM2-Math are continued pretrained from InternLM2-Base with ~100B high quality math-related tokens and SFT with ~2M bilingual math supervised data.
More details can be found here: https://github.com/InternLM/InternLM-Math

🙏 Special thanks to Georgi Gerganov and the whole team working on llama.cpp

🙏 Special thanks to Kalomaze and Dampf for their work on the dataset (linked here) that was used for calculating the imatrix for all sizes.

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.