Learn more about Machine learning - Section 39

能够严格检查的LLMs是否能够生成数学证明？了解LeanDojo：一个开源的AI游乐场，提供工具包、基准测试和模型，用于大型语言模型在Lean证明助手中证明形式化定理

人工智能和机器学习是当今时代的热门领域。随着人工智能取得的巨大进步，新的创新正在改变人类与机器的互动方式。人类智能中...

百度Ernie 3.5在中文语言AI领域脱颖而出：但它真的比ChatGPT更好吗？

在中国语言AI市场上取得了令人振奋的突破，著名的搜索引擎提供商百度发布了其最新模型Ernie 3.5。百度声称这款大型中文语言模...

如何使用ChatGPT更快地学习数据科学，即使你已经很高级了

如何使用像ChatGPT这样的AI工具轻松学习数据科学的初学者指南

随着OpenFlamingo团队发布了OpenFlamingo v2，该团队在3B、4B和9B规模上推出了五个新的多模态模型，这些模型表现优于之前的模型

来自华盛顿大学、斯坦福大学、AI2、加州大学圣塔芭芭拉分校和谷歌的一组研究人员最近开发了OpenFlamingo项目，旨在构建类似De...

教育国家安全领导层关于人工智能

麻省理工学院工程学院、施瓦茨曼计算学院和斯隆高级管理教育院的专家们向国家安全领导者们传授人工智能基础知识

认识LOMO（LOw-Memory Optimization）：一种新的AI优化器，它将梯度计算和参数更新融合为一步，以减少内存使用

大规模语言模型通过展示出色的技能，如自发性和理解力，并不断增加模型的大小，改变了自然语言处理。通过使用数十亿个参数来...

使用教科书级质量的合成数据训练语言模型

微软研究院刚刚发布了一篇论文，为有关数据在模型训练中的作用的持续争议增添了新的火花，具体涉及数据质量和合成数据的作用...

研究人员教导AI撰写更好的图表标题

一个新的数据集可以帮助科学家开发自动系统，为在线图表生成更丰富、更具描述性的标题

基于设备的条件文本到图像生成的扩散插件

由杨兆和侯廷波，软件工程师，Core ML 发布 近年来，扩散模型在文本到图像生成方面取得了巨大成功，实现了高质量图像、改进的...

去噪的黎明：用于表格数据填充的多输出机器学习模型

在表格数据中处理缺失值是数据科学中的一个基本问题本文介绍了一种受到降噪文献启发的优雅方法，利用多输出机器学习模型进行...

麻省理工学院的研究人员引入重新采样来改善生成过程

基于微分方程的深度生成模型最近成为高维数据建模的强大工具，涵盖了从图像合成到生物学的各个领域。这些模型通过反向迭代地...

在机器学习系统中维护数据质量

在令人眼花缭乱的机器学习（ML）世界中，很容易沉迷于设计复杂的算法、引人入胜的可视化和令人印象深刻的预测中...

认识Wanda：一种简单有效的大型语言模型修剪方法

大型语言模型（LLMs）的流行度和使用率不断增长。在生成式人工智能领域取得巨大成功的同时，这些模型正在引领一些巨大的经济...

如何成为2023年的亚马逊数据科学家？

大多数企业目前生成、编译和管理大量数据。然而，大多数企业缺乏充分利用他们收集到的数据的知识。数据科学家在这种情况下发...

一个初学者友好的生成式人工智能简介

最近几个月出现了所谓的“生成式人工智能”的兴起：现在是时候了解它的基础了

可视化维度诅咒的真实程度

使用蒙特卡洛方法来可视化具有大量特征的观测行为

从田间到餐桌：初创公司为食品行业提供人工智能自助餐

它就像魔法一样奏效。在一个数据中心中运行的计算机视觉算法发现了一种疾病即将在印度的一个遥远的小麦田中爆发。 十六天后，...

将医疗数据标注变成游戏化，以推动人工智能的发展

麻省理工学院校友的平台利用群体的智慧为人工智能公司标注医疗数据

遇见ChatGLM2-6B 开源双语（中英文）聊天模型ChatGLM-6B的第二代版本

自OpenAI推出了革命性的ChatGPT以来，该产品以最快的速度获得了1亿用户，自然语言对话代理领域取得了可观的进展。研究人员正...

转换专业AI训练-遇见LMFlow：一个有前景的工具包，可高效微调和个性化大型基础模型以提供卓越性能

建立在大型基础模型之上的大型语言模型（LLMs）已经展示了执行以前不可能的各种任务的一般能力。然而，需要更多对这些LLMs进...