math · Ollama

mathstral

MathΣtral: a 7B model designed for math reasoning and scientific discovery by Mistral AI.

555K Pulls 17 Tags Updated 2 years ago

falcon3

A family of efficient AI models under 10B parameters performant in science, math, and coding through innovative training techniques.

1b 3b 7b 10b

2.6M Pulls 17 Tags Updated 1 year ago

phi4-mini

Phi-4-mini brings significant enhancements in multilingual support, reasoning, and mathematics, and now, the long-awaited function calling feature is finally supported.

tools 3.8b

1.5M Pulls 5 Tags Updated 1 year ago

mistral-large

Mistral Large 2 is Mistral's new flagship model that is significantly more capable in code generation, mathematics, and reasoning with 128k context window and support for dozens of languages.

tools 123b

1.3M Pulls 32 Tags Updated 1 year ago

exaone-deep

EXAONE Deep exhibits superior capabilities in various reasoning tasks including math and coding benchmarks, ranging from 2.4B to 32B parameters developed and released by LG AI Research.

2.4b 7.8b 32b

770.9K Pulls 13 Tags Updated 1 year ago

qwen2-math

Qwen2 Math is a series of specialized math language models built upon the Qwen2 LLMs, which significantly outperforms the mathematical capabilities of open-source models and even closed-source models (e.g., GPT4o).

1.5b 7b 72b

1.1M Pulls 52 Tags Updated 2 years ago

athene-v2

Athene-V2 is a 72B parameter model which excels at code completion, mathematics, and log extraction tasks.

tools 72b

595.1K Pulls 17 Tags Updated 1 year ago

wizard-math

Model focused on math and logic problems

7b 13b 70b

1M Pulls 64 Tags Updated 2 years ago

mistral-small3.1

Building upon Mistral Small 3, Mistral Small 3.1 (2503) adds state-of-the-art vision understanding and enhances long context capabilities up to 128k tokens without compromising text performance.

vision tools 24b

791.6K Pulls 5 Tags Updated 1 year ago

ornith-1.5

Chirp Chirp! 🐦 We are introducing Ornith-1.5, a major step toward building foundation models through end-to-end self-improvement.

vision 9b 35b 397b

338.8K Pulls 3 Tags Updated 1 month ago

magicoder

🎩 Magicoder is a family of 7B parameter models trained on 75K synthetic instruction data using OSS-Instruct, a novel approach to enlightening LLMs with open-source code snippets.

7b

561.1K Pulls 18 Tags Updated 2 years ago