15:49 · Apr 12, 2024 · Fri × Awesome-LLM-SoftwareTesting:关于在软件测试中使用大型语言模型 (LLM) 的论文和资源的集合。LLM已成为自然语言处理和人工智能领域的突破性技术。这些模型能够执行各种与编码相关的任务,包括代码生成和代码推荐。因此,在软件测试中使用LLM预计会产生显着的改进。一方面,软件测试涉及诸如单元测试生成之类的任务,这些任务需要代码理解和生成。另一方面,LLM可以生成多样化的测试输入,以确保全面覆盖正在测试的软件。此存储库对LLM在软件测试中的运用进行了全面回顾,收集了 102 篇相关论文,并从软件测试和法学硕士的角度进行了全面的分析。
15:36 · Apr 12, 2024 · Fri × Asterinas:一个安全、快速、通用的操作系统内核。 它提供于Linux相同的ABI,可无缝运行Linux应用, 但比Linux更加内存安全和开发者友好。Asterinas在内存安全性方面远胜Linux。 它使用Rust作为唯一的编程语言, 并将unsafe Rust的使用限制在一个明确定义且最小的可信计算基础(TCB)上。 这种新颖的方法, 被称为框内核架构, 使星绽成为一个更安全、更可靠的内核选择。而在开发者友好性方面,Asterinas优于Linux。 它赋能内核开发者们使用生产力更高的Rust编程语言;利用一个专为内核开发者设计的工具包(称为OSDK)来简化他们的工作流程;享受MPL所带来的灵活性, 可自由选择开源或闭源他们为Asterinas所开发的内核模块或驱动。
15:25 · Apr 12, 2024 · Fri × Data-Speech:用于标注语音数据集的实用脚本套件,旨在为基于语音的人工智能模型(如文本到语音引擎)开发过程中所需要的音频变换(或注释)提供简洁、干净的代码库
15:23 · Apr 12, 2024 · Fri × Red-Teaming Language Models with DSPy:介绍了使用 DSPy 框架对语言模型进行红队攻击的尝试,展示了用 DSPy 编译后的架构效果
15:21 · Apr 12, 2024 · Fri × OmniFusion:高级的多模态 AI 模型,旨在通过集成其他数据模态(如图像、音频、3D 和视频内容)来扩展传统语言处理系统的功能。开源 OmniFusion 核心是 Mistral-7B。该模型有两个版本:第一个使用一个视觉编码器 CLIP-ViT-L,第二个使用两个编码器(CLIP-ViT-L 和 Dino V2)。最初专注于图像,我们选择 CLIP-ViT-L 作为视觉编码器,因为它具有高效的信息传输能力。OmniFusion 最重要的组件是它的适配器,这是一种允许语言模型解释和合并来自不同模式的信息的机制。对于单编码器版本,适配器是单层四头变压器层,与更简单的线性层或 MLP 结构相比,它表现出了卓越的性能。具有两个编码器的模型使用一个适配器,该适配器从视觉编码器的所有层收集特征,该适配器没有注意层。该适配器从视觉编码器(不包括 CLS 令牌)获取嵌入,并将它们映射到与语言模型兼容的文本嵌入。
15:17 · Apr 12, 2024 · Fri × 用于评估语言模型准确性的轻量库,包含多个评估,如 MMLU、MATH、GPQA、DROP、MGSM 和 HumanEval,并为 OpenAI 和 Anthropic API 提供了采样接口 | github
15:15 · Apr 12, 2024 · Fri × × Next.js AI Chatbot:由 Vercel 和 Next.js 团队成员构建的生成式 UI 聊天机器人模板,基于 Vercel AI SDK 和 Google Gemini
15:13 · Apr 12, 2024 · Fri × × × × × × SDFX:通过漂亮界面构建和分享AI应用的无代码平台特征在复杂的工作流程之上构建和共享用户友好的应用程序100% 兼容 ComfyUI 及其所有功能可以与你现有的 Comfy 安装一起使用(使用我们的 SDFXBridgeForComfy 自定义节点)LiteGraph 几乎在打字稿中从头开始重构动画图导航节点书签和高级图形搜索闪电般快速的 UI 实例化和漂亮的高级组件(比 Gradio 快 450 倍)UI 调试器(目前还处于初级阶段)本机自定义节点管理器(感谢 Dr.Lt.Data)导出并共享应用程序和模板(组节点即将导出)高级基于图层的图像和蒙版编辑器 (WIP)高级检查点选择器和图库高级输入图像选择器现代且超快速的前端堆栈(vitejs、vuejs、电子)编译为本机应用程序(Windows、Linux、Mac)或 Web 应用程序非常容易维护和添加新功能