Downloads · 30 days
337
18% of all-time downloads
Jackrong/Soren-Logos-3B
Soren-Logos-3B is a machine learning model from Jackrong. Use it for the machine learning task on the model card, and read the license before you ship it in a product. It is set up for transformers. The card lists the license as llama3.
Downloads · 30 days
337
18% of all-time downloads
All-time downloads
1.8K
Public
Repo size
5.4 GB
Likes
2
Public
Click a slice to open those files.
.gguf5.4 GB · 100%
From the Hugging Face model README
中文翻译在下面
Soren-Logos-3B is a deeply evolved version built upon the Soren-Oracle-Chat-3B model, created to address specific challenges. The core motivation of this project is to improve the relatively weak mathematical and logical capabilities of the base Llama-3.2-3B model.
To achieve this, I introduced Group Relative Policy Optimization (GRPO), an advanced reinforcement learning technique. Building on the capabilities of the Oracle model, a series of carefully designed reward functions were used to guide the model in generating a transparent "engine of thought." The core of this engine is to teach the model to think step-by-step logically and to externalize its complete thought process using a specific format—the <think>...</think> tags—before arriving at a conclusion. (The reward for this was kept small to prevent it from becoming a model that always explicitly shows its chain of thought). The goal is to create a 3B-level model that not only answers but also presents its reasoning clearly and methodically.
✨ The core upgrade of Soren-Logos focuses on improving the base model's capabilities and correctness (Process) on complex problems, as well as enhancing the quality of its responses. It's no longer just about getting the right answer but pursuing a verifiable and traceable source for that answer through GRPO reinforcement learning.
<think>...</think> block to enclose its complete thinking and reasoning steps. This makes the model's "mind" no longer a black box, allowing users to clearly see how it analyzes a problem and reaches a conclusion.In addition to the core logical reasoning training, this GRPO optimization includes a series of reward functions targeting response quality, achieving multi-dimensional alignment and improvement:
🔥The training of Soren-Logos-3B is divided into two core phases:
The model first inherits all the training achievements of Soren-Oracle-Chat-3B, completing a foundational fine-tuning on a high-quality mixed dataset of 86,448 samples to establish improvements in response depth, professionalism, and formatting.
Building on the first phase, the model entered a targeted reinforcement learning stage:
<think>...</think> structure.Below is a comparison of responses from the fine-tuned model and the base model on several questions, intuitively demonstrating the model's improvements in formatting, logic, and professionalism.
| Question | Soren-Logos-3B (After Fine-tuning) | Official Llama-3.2-3B-Instruct |
|---|---|---|
| 1. Can machines think? | Answer: Machines do not possess the ability to "think" or have "thoughts."<br><br>💡 Core Distinction: Machine vs. Machine Thinking:<br>- Machine (Device): Lacks consciousness, subjective experience, etc.<br>- Machine Thinking (or AI): Highly simulated, algorithm-based.<br><br>🧠 Why can't machines "think"?:<br>- 1️⃣ Data-Driven: Models rely on training data, not subjective consciousness.<br>- 2️⃣ Lack of Self-Awareness: Cannot generate subjective experiences or self-awareness.<br><br>Commentary: Uses paragraphs, lists, and emojis for a clear structure and greater depth. | Answer: Currently, machines do not possess true thinking ability. However, Machine Learning and Deep Learning can already mimic human thinking in some aspects, making predictions and decisions, but they lack critical thinking and creativity.<br><br>Commentary: The answer is relatively plain and lacks a hierarchical structure. |
| 2. Age Calculation Problem | Setup: Let's say Xiaoming is x years old, and his father is 4x years old.<br>In 5 years: Xiaoming will be x + 5, and his father will be 4x + 5.<br>Set up the equation: 4x + 5 = 3(x + 5) → Solving for x gives x = 10.<br><br>Answer: ✅ Xiaoming is currently 10 years old, and his father is 40 years old.<br><br>Commentary: The reasoning steps are clear, and the result is correct. | Explanation: The original answer attempted to set up an equation but incorrectly incorporated the "in 5 years" condition into the initial equation, leading to a final calculation error. For example, it produced incorrect forms like d = 4m + 5.<br><br>Commentary: Logical error, incorrect answer. |
| 3. The history of Apple Inc. | Answer: 🍎 Apple Inc. is a globally renowned innovation company.<br>Early Years (1976–1980): Founding and First Products: Introduction to its establishment and initial products; Entry into Education: Early strategies for the education market.<br>Notable Milestones: Lists major time points and products.<br><br>Commentary: Uses subheadings and bullet points for a clearer and more organized structure. | Answer: Apple Inc. has a rich history. Early Years (1976–1980): Introduction to the company's founding and first products; The Macintosh Era (1980–1996): Basic entries like the Macintosh release in 1984.<br><br>Commentary: Presented as a simple list with more generalized information. |
| 4. Explain what a "neural network" is. | Answer: Introduction to Neural Networks and Core Concepts.<br>Definition and Historical Background: Introduces the origin and development.<br>Core Components: Neurons and Network Structure: Neurons, Layers, Connection Weights, etc.<br>Working Principle and Architecture Types: Feedforward Networks, Convolutional Neural Networks, Recurrent Neural Networks, etc., along with application scenarios.<br><br>Commentary: A comprehensive and in-depth answer covering history, components, principles, architecture, and applications with a high degree of structure. | Answer: A neural network is a machine learning model that mimics the brain's neural system. Basic Components: Composed of multiple "neurons" and a hierarchical structure. Working Principle: Data input, weights and activation functions, etc.<br><br>Commentary: The explanation is relatively basic and general. |
This model is designed for various tasks that require clear, reliable, and transparent reasoning processes, with improvements in several capabilities:
The creation of Soren-Logos-3B would not have been possible without the many outstanding prior works and the collective wisdom of the open-source community. We express our sincerest gratitude to all contributors who provided the foundation, tools, and inspiration for this project.
meta/Llama-3.2-3B-Instruct, developed by Meta, as the starting point for our model. Its excellent architecture and powerful foundational capabilities were key to the project's success.Unsloth library for efficient training and optimization.I encourage users of this model to also acknowledge and cite the original contributors of the base models and datasets mentioned above. The open-source community thrives on sharing, and we hope Soren-Logos-3B can also be a part of this force.
Please note that the core objective of this fine-tuning was to optimize and enhance the model's capabilities in specific areas, but it was not a complete retraining from scratch.
The final performance, knowledge boundary, and capability limits of this model are strictly constrained by the inherent framework of its base model. Fine-tuning can improve performance in certain aspects but cannot overcome the fundamental limitations of the base model itself.
Therefore, the improvements brought by fine-tuning are incremental and do not represent a qualitative leap. I advise users to independently cross-verify all critical information and to evaluate the model's output with caution.
Soren-Logos-3B 是在 Soren-Oracle-Chat-3B 模型基础上,为解决特定挑战而打造的深度进化版本。本项目的核心动机是改善 Llama-3.2-3B 基座模型相对孱弱的数学与逻辑能力。
为此,我引入了组相对策略优化(Group Relative Policy Optimization, GRPO),这是一种先进的强化学习技术。在 Oracle 模型的能力基础上,通过一系列精心设计的奖励函数,引导模型生成一个透明的“思想引擎”。这个引擎的核心是教会模型**“step by step”地进行逻辑思考**,并通过一个特定的格式——使用 <think>...</think> 标签——将其完整的思考过程外化,最终得出结论(这个奖励我给的很小,不会变成推理模型那种显示CoT),旨在打造一个不仅会回答,更能清晰、有条理地展示的3B级模型。
✨ Soren-Logos 的核心升级则是聚焦于改善基础模型在复杂问题上的能力与正确性(Process),以及针对回答质量的改进。 不再仅仅满足于一个正确的答案,而是追求一个可验证、可追溯的答案来源,通过 GRPO 强化学习。
<think>...</think> 模块来包裹其完整的思考和推理步骤。这使得模型的“思维”不再是一个黑盒,用户可以清晰地看到它是如何分析问题并得出结论的。除了核心的逻辑推理训练,本次 GRPO 优化还包含了一系列针对回答质量的奖励函数,实现了多维度的对齐与改进:
🔥Soren-Logos-3B 的训练分为两个核心阶段:
模型首先继承 Soren-Oracle-Chat-3B 的全部训练成果,在一个包含 86,448个样本 的高质量混合数据集上完成了基础微调,以确立其在回答深度、专业性和格式化方面进行改善。
在第一阶段的基础上,模型进入了针对性的强化学习阶段:
<think>...</think> 结构。以下是微调后的模型与基座模型在几个问题上的回答对比,直观展示了模型在格式化、逻辑性和专业性上的提升。
| 问题 (Question) | Soren-Oracle-Chat-3B (微调后) | 官方 Llama-3.2-3B-Instruct |
|---|---|---|
| 1. 机器能够思考吗? | 回答:机器并非具有“思维”或“思考”的能力。<br><br>💡 核心区分:机器 vs 机器思考:<br>- 机器(设备):无意识、无主观体验等。<br>- 机器思考(或 AI):高度模拟化、基于算法。<br><br>🧠 为什么机器无法“思维”?:<br>- 1️⃣ 数据驱动:模型依赖训练数据而非主观意识。<br>- 2️⃣ 缺乏自我认知:无法产生主观体验或自我意识。<br><br>评注:使用段落、列表与 Emoji,结构清晰且深度更佳。 | 回答:目前,机器尚未具有 true 的思考能力。然而,机器学习(Machine Learning)和深度学习(Deep Learning)已经可以在某些方面模仿人类的思考,能够做出预测和决策,但缺乏批判性思维和创造力。<br><br>评注:回答较为平铺直叙,缺乏结构层次。 |
| 2. 年龄计算题 | 设定:设小明今年 x 岁,爸爸今年 4x 岁。<br>5 年后:小明 x + 5,爸爸 4x + 5。<br>列方程:4x + 5 = 3(x + 5) → 解得 x = 10。<br><br>答案:✅小明现在 10 岁,爸爸现在 40 岁。<br><br>评注:推理步骤清晰,结果正确。 | 说明:原回答尝试建立方程但在构建时把“5年后”的条件错误地并入初始等式,导致最终计算错误。示例出现 d = 4m + 5 等错误形式。<br><br>评注:逻辑错误,答案不正确。 |
| 3. 苹果公司的发展史 | 回答:🍎Apple Inc. 是全球知名创新公司。<br>Early Years (1976–1980):Founding and First Products:介绍创立与最初产品;Entry into Education:早期教育市场策略。<br>Notable Milestones:列出重大时间点与产品。<br><br>评注:使用子标题与条目,结构更清晰、条理性更好。 | 回答:Apple Inc. 有丰富的发展史。Early Years (1976–1980):介绍公司创立及首批产品;The Macintosh Era (1980–1996):1984 年 Macintosh 发布等基本条目。<br><br>评注:以简单列表形式给出,信息较概括。 |
| 4. 讲解什么是“神经网络” | 回答:神经网络(Neural Network)简介与核心概念。<br>定义与历史背景:介绍起源与发展脉络。<br>核心组成:神经元与网络结构:神经元(Neuron)、层(Layer)、连接权重等。<br>工作原理与架构类型:前馈网络、卷积神经网络、循环神经网络等,以及应用场景。<br><br>评注:回答全面深入,覆盖历史、组件、原理、架构与应用,结构化程度高。 | 回答:神经网络是一种模仿大脑神经系统的机器学习模型。基本组成:由多个“神经元”与层级结构构成。工作原理:数据输入、权重与激活函数等。<br><br>评注:解释相对基础与概括。 |
本模型为需要清晰、可靠且推理过程透明的各类任务而设计,改善了部分能力:
Soren-Logos-3B 的诞生离不开众多杰出的前期工作和开源社区的集体智慧。我们对所有为本项目提供基础、工具和灵感的贡献者表示最诚挚的感谢。
meta/Llama-3.2-3B-Instruct 作为模型的起点。其卓越的架构和强大的基础能力,是本项目成功的关键。Unsloth 库进行高效的训练和优化。我鼓励用户在使用本模型时,同样对上述基础模型和数据集的原始贡献者进行致谢和引用。开源社区因分享而繁荣,我们希望 Soren-Logos-3B 也能成为这份力量的一部分。
请注意,本次微调的核心目标是优化和增强模型在特定方面的能力,但并非一次完整的重新训练。
本模型的最终性能、知识边界和能力的上限,均严格受限于其基座模型的固有框架。微调能够改善模型在某些方面的表现,但无法突破基座模型自身存在的根本性限制。
因此,微调所带来的改进是增量式的,并不能带来质的飞跃。我建议用户在使用模型时,对所有关键信息进行独立的交叉验证,并审慎评估其输出结果。