像Claude这样的大型语言模型(LLMs)能够为解析代码生成有效的模糊测试工具，这一过程传统上需要大量的人力投入。尽管LLMs通常在精确度上不足以进行静态分析，但它们似乎非常适合创建模糊测试工具，因为模糊测试的随机...

Stability AI 公司的研究科学家 Robin Rombach，作为开发 Stable Diffusion 模型的关键人物，近日宣布离开公司。这一消息在技术团队经历了一年变革之后引起了业界的广泛关注。Rombach 在公司所扮演的角色及其对模型...

Redis 宣布，自 7.4 版本起，所有未来版本的 Redis 将采用源代码可用许可模式发布。这意味着 Redis 将不再使用三条款式伯克利软件发行许可，而是转为采用 Redis 源可用许可和服务器端公共许可的双许可模式。新的许可...

GritQL是一个用于搜索和修改源代码的声明式查询语言，它利用Rust语言和查询优化技术，能够扩展至超过1000万行代码的庞大代码库。GritQL内置模块系统包含超过200种标准模式，支持对多种目标语言进行重写，包括JavaScr...

近日，GitHub上出现了一个新的项目LlamaGym，该项目专注于通过在线强化学习方法对大型语言模型（LLM）代理进行微调。大型语言模型在近年来取得了显著的进展，但如何进一步提升其性能，尤其是在特定任务上的表现，成...

Quiet-Star是一个推理框架，旨在增强语言模型生成正确输出的能力。该框架的代码已经公开，同时发布了一个每个令牌8步的模型。Quiet-Star通过优化模型的推理过程，提高了生成文本的准确性和相关性，对于自然语言处理...

本文由前OpenAI科学家撰写，深入探讨了SORA技术及其生成视频的潜在成本。SORA是一种先进的视频生成技术，通过复杂的算法和大量的数据处理，能够创建出高质量的视频内容。文章详细介绍了SORA的工作原理，包括其如何处...

IBM与NASA的合作项目成功开发出基于先进变换器架构的语言模型，这些模型经过科学文献的训练，旨在提升自然语言理解任务在科学领域的性能。这些模型现已在Hugging Face上开源，供全球开发者和研究人员使用。此举将有...