Leanstral 1.5 - Mistral AI
By
vetronauta
Source
Hacker NewsLeanstral 1.5 - Mistral AIdocs.mistral.aiYou might also wanna read
Mistral AI: Empowering the AI Community with Open and Portable Generative AI
Mistral AI offers open and portable generative AI for developers and businesses, empowering the AI community with free open models and optim
Product Hunt·11mo ago
MerLean-Prover: A Recursive Agent Harness for Lean 4 Theorem Proving Outperforms Baselines
MerLean-Prover is an end-to-end Lean4 theorem prover that replaces 'sorry' declarations with kernel-checkable proofs using three agent types
arxiv.org·29d agoMistral AI: Open and Portable Generative AI for Developers and Businesses
Mistral AI offers open and portable generative AI for developers and businesses, empowering the AI community with free open models and optim
Product Hunt·11mo ago
Mistral Medium 3.5: A 128B Open-Weight Model for Coding, Reasoning, and Long-Context Tasks
Mistral Medium 3.5 is a 128B parameter dense model that unifies coding, reasoning, and instruction-following capabilities in a single set of
Product Hunt·2mo ago
Mistral AI Provides Open-Source and Commercial AI Models for Developers and Businesses
Mistral AI offers both open-source AI models with permissive licenses for free community use and optimized commercial models with flexible d
Product Hunt·1y ago
Mistral AI Provides Open-Source and Commercial AI Models for Developers and Businesses
Mistral AI offers both open-source AI models with permissive licenses for free community use and optimized commercial models with flexible d
Product Hunt·29d ago
Comments
Sign in to join the conversation.
No comments yet. Be the first.