NovaSky

11个月前发布 11 0 0

NovaSky 是一个专注于提升代码生成和推理模型性能的人工智能技术平台。它通过创新的测试时扩展技术(如 S*)、强化学习蒸馏推理等技术,显著提升了非推理模型的性能,使其在代码生成领域表现出色。该平台致力于为开发者提供高效、低成本的模型训练和优化解决方案,帮助他们在编程任务中实现更高的效率和准确性。NovaSky 的技术背景源于 Sky ...

收录时间:
2025-05-29

NovaSky 是一个专注于提升代码生成和推理模型性能的人工智能技术平台。它通过创新的测试时扩展技术(如 S*)、强化学习蒸馏推理等技术,显著提升了非推理模型的性能,使其在代码生成领域表现出色。该平台致力于为开发者提供高效、低成本的模型训练和优化解决方案,帮助他们在编程任务中实现更高的效率和准确性。NovaSky 的技术背景源于 Sky Computing Lab @ Berkeley,具有强大的学术支持和前沿的技术研究基础。目前,NovaSky 提供多种模型优化方法,包括但不限于推理成本优化和模型蒸馏技术,满足不同开发者的需求。

数据统计

相关导航

Qwen2.5-Coder-0.5B-Instruct

Qwen2.5-Coder-0.5B-Instruct

Qwen2.5-Coder是Qwen大型语言模型的最新系列,专注于代码生成、代码推理和代码修复。基于强大的Qwen2.5,通过扩展训练令牌到5.5万亿,包括源代码、文本代码基础、合成数据等,Qwen2.5-Coder-32B已成为当前最先进的开源代码LLM,其编码能力与GPT-4o相匹配。该模型不仅增强了编码能力,还保持了在数学和通用能力方面的优势,为实际应用如代码代理提供了更全面的基础。
Qwen2.5-Coder-0.5B-Instruct-GPTQ-Int8

Qwen2.5-Coder-0.5B-Instruct-GPTQ-Int8

Qwen2.5-Coder是Qwen大型语言模型的最新系列,专注于代码生成、代码推理和代码修复。基于强大的Qwen2.5,该系列模型通过增加训练令牌至5.5万亿,包括源代码、文本代码接地、合成数据等,显著提升了代码生成、推理和修复能力。Qwen2.5-Coder-32B已成为当前最先进的开源代码大型语言模型,编码能力与GPT-4o相匹配。此外,Qwen2.5-Coder还为真实世界应用提供了更全面的基础,如代码代理,不仅增强了编码能力,还保持了在数学和通用能力方面的优势。
Eurus-2-7B-SFT

Eurus-2-7B-SFT

Eurus-2-7B-SFT是基于Qwen2.5-Math-7B模型进行微调的大型语言模型,专注于数学推理和问题解决能力的提升。该模型通过模仿学习(监督微调)的方式,学习推理模式,能够有效解决复杂的数学问题和编程任务。其主要优点在于强大的推理能力和对数学问题的准确处理,适用于需要复杂逻辑推理的场景。该模型由PRIME-RL团队开发,旨在通过隐式奖励的方式提升模型的推理能力。
Lune AI

Lune AI

Lune AI是一个社区驱动的专家级大型语言模型(LLMs)市场,由开发者在技术主题上创建,以超越单独的AI模型。它通过集成各种技术知识源,如GitHub仓库、文档等,减少技术查询的幻觉,并提供准确的参考。Lune AI的API与OpenAI兼容,可以轻松集成到各种支持OpenAI兼容模型的工具中,如Cursor、Continue等。此外,Lune AI还提供了一个付费计划,用户可以通过贡献和创建Lunes来获得报酬。
Windsurf Wave 2

Windsurf Wave 2

Windsurf Wave 2 是 Codeium 团队推出的一款面向开发者的编程辅助工具的第二波更新。它通过 AI 技术为开发者提供智能代码生成、代码优化、问题排查等功能,旨在提高开发效率和代码质量。该产品支持多种编程语言和开发环境,能够与现有的 IDE 集成,无缝融入开发流程。其主要优点包括高效性、智能化和强大的上下文理解能力。Windsurf Wave 2 定位为高端开发工具,适合需要处理复杂代码库的企业和专业开发者使用。目前,该产品提供 SaaS 和混合部署方案,满足不同用户的需求。

暂无评论

您必须登录才能参与评论!
立即登录
none
暂无评论...