语言处理
Thinking Claude
Thinking Claude 是一个结合深度思考协议与浏览器扩展的工具，通过优化 AI 模型 Claude-3.5 的逻辑思维能力，实现更深层次的理解与表达。它支持 AI 的深入思考、过程展开与折叠，并具备知识综合、错误识别与纠正等特性。主要应用于教育辅助、内容创作、软件开发、客户服务及科研分析等领域，为用户提供高效、准确的支持。
Agent K v1.0
Agent K v1.0 是一款端到端自主数据科学智能体，由华为诺亚方舟实验室与伦敦大学学院团队联合开发。该工具能够自动化处理数据科学生命周期中的各个环节，支持多模态数据处理，具备动态多步骤问题解决能力，并通过结构化推理和动态记忆管理实现自我学习与优化。Agent K v1.0 在Kaggle多模态挑战赛中表现优异，广泛应用于金融、医疗、零售、制造及客户服务等领域。
Fireworks f1
Fireworks f1 是一款专为复杂推理任务设计的复合型 AI 模型，通过整合多个开源模型提升性能与可靠性。支持开发者通过提示词快速构建复杂 AI 应用，已在编码、对话及数学领域展现卓越能力。同时提供标准版和轻量版供用户选择，并在 AI Playground 提供免费体验。
Perplexica
Perplexica是一款开源的AI驱动搜索引擎，支持多模式搜索（如全网、学术、视频等），兼容本地大型语言模型，具备强大的自然语言理解和实时信息更新能力。适用于个人、学术、企业和教育场景，帮助用户高效获取所需信息。
Verifier Engineering
Verifier Engineering是一种创新的后训练方法，通过搜索、验证和反馈三个阶段优化基础模型性能。它采用目标条件马尔可夫决策过程（GC-MDP），结合线性与树搜索算法，对模型输出进行动态调整。其验证器分类涵盖多种形式和粒度，并支持基于训练和推理的反馈方式。这项技术已在自然语言处理、代码生成、教育和内容安全等领域展现广泛潜力，成为提升模型鲁棒性和智能化水平的重要工具。
