近日，PyTorch团队推出了一款新的轻量级运行时和模型转换工具，以支持在资源受限的边缘设备上运行。此次推出的PyTorch Lite运行时，具有轻量级、高效、低延迟等特点，可以在边缘设备上运行深度学习模型，解决传统云...

证明助手工具（如Lean）是在计算机上形式化和证明数学概念的神奇方法。Morph Labs正在与许多团体合作建立开放式的证明助手。其第一个模型基于Mistral，极为高效，并有望帮助开启更多数学知识。

在自然语言处理领域，语言模型已经取得了重大的突破，但是在数学领域，语言模型的应用却相对较少。Llemma是一种面向数学的开放式语言模型，它基于GPT-3模型，可以处理数学领域的自然语言文本，如数学公式、定理和证...

随着对语言模型的兴趣急剧增加，许多现有的机器学习会议都被论文淹没了。这个由许多知名科学家组织的新场所将是出版的绝佳选择。语言模型会议将为该领域的研究人员提供一个独特的平台，以分享他们的最新成果和进展。

尽管如今的AI模型并不完美，但仍有很大可能最终被认定为人工通用智能的首批真正例子。人工智能技术正在飞速发展，从语音识别到图像识别，再到自动驾驶和机器人等领域，都有了巨大的进步。但是，现有的AI技术仍然存在...

Libgen是许多封闭模型中的数据集。虽然这个数据集的商业使用合法性存在争议，但研究人员仍在使用它来更好地了解语言模型训练数据质量。这个开源的GitHub代码库旨在将Libgen转换为txt文本文档的形式，以便更方便地进...

一项新的研究介绍了一种结合不同时间的数字地形模型（DSM）数据和航拍图像的方法，以改进超越2D视角的变化检测。

近日，TabLiB 800B发布，这是目前最大的公开表格数据集，包括了6.27亿张表格和8670亿个上下文信息的令牌。这个数据集的发布旨在鼓励社区构建更好地理解表格数据的大型数据模型。此外，该数据集还包含了来自不同领域...