Model · Text generation
Qwen
Qwen3 is the latest generation of large language models in Qwen series, offering a comprehensive suite of dense and mixture-of-experts (MoE) models. Built upon extensive training, Qwen3 delivers groundbreaking advancements in reasoning, instruction-following, agent capabilities, and multilingual support, with the following key features: - Uniquely support of seamless switching between thinking mode (for complex logical reasoning, math, and coding) and non-thinking mode (for efficient, general-purpose dialogue) within single model, ensuring optimal performance across various scenarios. - Significantly enhancement in its reasoning capabilities, surpassing previous QwQ (in thinking mode) and…
Open weights
apache-2.0
8.2B parameters
40,960 tokens
transformers
The DeepSeek R1 model has undergone a minor version upgrade, with the current version being DeepSeek-R1-0528. In the latest update, DeepSeek R1 has significantly improved its depth of reasoning and inference capabilities by leveraging increased computational resources and introducing algorithmic optimization mechanisms during post-training. The model has demonstrated outstanding performance across various benchmark evaluations, including mathematics, programming, and general logic. Its overall performance is now approaching that of leading models, such as O3 and Gemini 2.5 Pro. Compared to the previous version, the upgraded model shows significant improvements in handling complex reasoning…
Open weights
mit
8.2B parameters
131,072 tokens
transformers
Purpose: Long-memory symbolic reasoning + high-fidelity language generation SymbioticLM-8B is a state-of-the-art hybrid transformer model with built-in symbolic cognition. It combines an 8B Qwen-based transformer with modular symbolic processors and a persistent memory buffer. The model supports both general conversation and deep symbolic tasks such as theorem generation, logical chaining, and structured reasoning with retained memory across turns. - General symbolic reasoning and logical conversation - Code + math proof modeling - Not instruction-tuned (e.g., chat-style inputs may require prompt engineering) - Larger memory buffer may increase CPU load slightly - Symbolic inference is…
Open weights
afl-3.0
8.2B parameters
40,960 tokens
transformers
English | 简体中文 Qwen3-8B-CC-SFT-v2 is a failure-targeted continued-SFT checkpoint designed to improve coding-agent state preservation and continuation across Claude Code native context compaction. It is initialized from Qwen3-8B-CC-SFT-v1 and trained on compact-aware, context-correct supervision distilled from GLM-5.3 under real Claude Code native compaction. Best observed canonical303 Pass@1: 52.48% (159/303) — 4090 run of this same checkpoint at T=0.5 (temperature selected on an independent dev set; see the table below). Best observed configurations of this same checkpoint: - T=0.5 was selected on an independent 60-task development set (task-id and repo disjoint from canonical303), then…
Open weights
apache-2.0
8.2B parameters
40,960 tokens
transformers
Ido Levy 1,2 · 1,2 The trained questioner from Asking for What Was Never Requested: Horizontal and Vertical Proactivity in Agents, with its LoRA adapter merged into Qwen3-8B. It is a standard full-weight model: it loads without PEFT and serves with vLLM, SGLang or TGI like any Qwen3-8B. - The adapter, with the results, the training details, the limitations and a complete two-turn - Quantized for llama.cpp, Ollama and LM Studio: This is training seed 1, the adapter at the root of the adapter repository. The merge ran in float32 and the weights are stored in bfloat16. On the adapter card's two-turn example, greedy decoding with this model returns the adapter's output character for character.…
Open weights
apache-2.0
8.2B parameters
40,960 tokens
transformers
Open weights
apache-2.0
8.2B parameters
32,768 tokens
transformers