Search Results for "mistral"
Sort By:
Showing 13 open source projects for "mistral"
View related business solutions-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
1
Mistral Finetune
Memory-efficient and performant finetuning of Mistral's models
mistral-finetune is an official lightweight codebase designed for memory-efficient and performant finetuning of Mistral’s open models (e.g. 7B, instruct variants). It builds on techniques like LoRA (Low-Rank Adaptation) to allow customizing models without full parameter updates, which reduces GPU memory footprint and training cost. The repo includes utilities for data preprocessing (e.g. reformat_data.py), validation scripts, and example YAML configs for training variants like 7B base or instruct models. ... -
2
Zola
Open chat interface for all your models
Zola is an open-source chat interface that gives users one place to interact with multiple AI models. It supports providers such as OpenAI, Mistral, Claude, Gemini, OpenRouter, and locally hosted Ollama models. Users can bring their own API keys, upload files, and customize system prompts and layouts. The interface is responsive and includes light and dark themes. Zola can be self-hosted and also supports Docker-based deployment, including setups with Ollama. Its stack uses Next.js, Tailwind CSS, shadcn/ui, the Vercel AI SDK, and Supabase, while MCP support is under development. -
3
AI Local - Choose Models with LM Studio
TN 365 AI Ready - LM Studio & Assistant Vocal Murmure !
TN365 AI Edition est une version avancée de TN365, conçue pour offrir une expérience Linux moderne, rapide et entièrement orientée intelligence artificielle. Grâce à LM Studio préinstallé, les utilisateurs peuvent ajouter en un clic les modèles IA puissants tels que DeepSeek R1, Gemma, Llama 3.1, Qwen, Mistral, et bien d’autres. Pensée pour les créateurs, développeurs, Terminal DevOps inclus dans LM Studio, TN365 IA offre stabilité, élégance et puissance, tout en offrant une plateforme IA locale et extensible unique dans l’écosystème Linux. “Support IA local (GGUF) + IA cloud (OpenAI, DeepSeek, Mistral, Groq).” Documentation Officielle: https://lmstudio.ai/docs/app/basics -
4
Mistral Small 4
Model that fuses instruct, reasoning and agentic skills
The Mistral Small 4 collection is a set of open-weight large language models developed by Mistral AI that aim to unify multiple capabilities, including instruction following, reasoning, and coding, within a single efficient architecture. These models are part of the broader Mistral Small family, which is designed to deliver strong performance across a wide range of everyday AI tasks while maintaining relatively low latency and efficient deployment requirements. ... -
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
5
Leanstral
Open-source code agent designed for Lean 4
Leanstral is an open-weight large language model developed by Mistral AI and specifically designed as a code agent for the Lean 4 proof assistant, enabling advanced interaction with formal mathematics and program verification systems. The model is built to understand and generate Lean 4 code, which is used to express complex mathematical constructs as well as formal software specifications. By focusing on theorem proving and formal reasoning, Leanstral represents a specialized direction within large language models, targeting domains that require strict correctness and logical rigor rather than general conversational tasks. ... -
6
Mistral Large 3 675B Instruct 2512 Eagle
Speculative-decoding accelerator for the 675B Mistral Large 3
Mistral Large 3 675B Instruct 2512 Eagle is the dedicated speculative-decoding draft model for the full Mistral Large 3 Instruct system, designed to significantly speed up generation while preserving high output quality. It works alongside the primary 675B instruct model, enabling faster response times by predicting several tokens ahead using Mistral’s Eagle speculative method. -
7
Mistral Large 3 675B Base 2512
Frontier-scale 675B multimodal base model for custom AI training
Mistral Large 3 675B Base 2512 is the foundational, pre-trained version of the Mistral Large 3 family, built as a frontier-scale multimodal Mixture-of-Experts model with 41B active parameters and a total size of 675B. It is trained from scratch using 3000 H200 GPUs, making it one of the most advanced and compute-intensive open-weight models available. -
8
Mistral Large 3 675B Instruct 2512 NVFP4
Quantized 675B multimodal instruct model optimized for NVFP4
Mistral Large 3 675B Instruct 2512 NVFP4 is a frontier-scale multimodal Mixture-of-Experts model featuring 675B total parameters and 41B active parameters, trained from scratch on 3,000 H200 GPUs. This NVFP4 checkpoint is a post-training-activation quantized version of the original instruct model, created through a collaboration between Mistral AI, vLLM, and Red Hat using llm-compressor. -
9
Mistral Large 3 675B Instruct 2512
Frontier-scale 675B multimodal instruct MoE model for enterprise AIMis
Mistral Large 3 675B Instruct 2512 is a state-of-the-art multimodal granular Mixture-of-Experts model featuring 675B total parameters and 41B active parameters, trained from scratch on 3,000 H200 GPUs. As the instruct-tuned FP8 variant, it is optimized for reliable instruction following, agentic workflows, production-grade assistants, and long-context enterprise tasks. -
Demo Series - Small Business Backup By VeeamWatch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
-
10
Hy3
Open code agent for Lean 4 proofs and formal software verification
Leanstral 1.5 119B A6B is an open-source code agent model from Mistral AI designed specifically for Lean 4, a proof assistant used to express and verify complex mathematical objects and formal software specifications. Built as part of the Mistral Small 4 family, it combines multimodal capabilities with an efficient Mixture-of-Experts architecture containing 119B total parameters and 6.5B activated per token. -
11
Leanstral 1.5
Open code agent for Lean 4 proofs and formal software verification
Leanstral 1.5 119B A6B is an open-source code agent model from Mistral AI designed specifically for Lean 4, a proof assistant used to express and verify complex mathematical objects and formal software specifications. Built as part of the Mistral Small 4 family, it combines multimodal capabilities with an efficient Mixture-of-Experts architecture containing 119B total parameters and 6.5B activated per token. -
12
Devstral 2
Agentic 123B coding model optimized for large-scale engineering
...Devstral 2 supports a 256k context window, enabling deep understanding of large repositories, long diffs, and extended technical discussions. It integrates seamlessly with agent frameworks and developer tools, including the Mistral Vibe CLI, enabling terminal-based automation and interactive development workflows. -
13
Ministral 3 14B Reasoning 2512
High-precision 14B multimodal model built for advanced reasoning tasks
Ministral 3 14B Reasoning 2512 is the largest model in the Ministral 3 series, delivering frontier-level performance with capabilities comparable to the Mistral Small 3.2 24B model. It pairs a 13.5B-parameter language model with a 0.4B vision encoder, enabling strong multimodal reasoning across both text and images. This version is specifically post-trained for reasoning tasks, making it highly effective for math, coding, STEM workloads, and complex multi-step problem-solving. Despite its scale, the model is engineered for practical deployment and can run locally on 32GB of VRAM in BF16 or under 24GB when quantized. ...
- Previous
- You're on page 1
- Next