14  Downloads Updated  7 months ago

A 30B-parameter (Mixture-of-Experts) model specialized for **mathematical problem-solving and proof-writing in natural language**, packaged for Ollama with a 256K context window.