Open-source code agent designed for Lean 4
LL model providing reasoning and conversational capabilities
Open language model developed by NVIDIA as part of Nemotron-3 family
This is the entire source code for NewsNotFound's article gen process
High-efficiency reasoning and agentic intelligence model
OpenAI’s compact 20B open model for fast, agentic, and local use
Dia-1.6B generates lifelike English dialogue and vocal expressions
Chat with local GGUF LLMs on your own machine
High-compute ultra-reasoning model surpassing model surpassing GPT-5
Tencent’s 36-language state-of-the-art translation model
JetBrains’ 4B parameter code model for completions