Quint是一种特别适用于分布式系统的规范语言。它结合了Temporal Logic of Actions (TLA)的强大理论基础和最先进的类型检查和开发工具。Quint具有简单和熟悉的语法、表达能力强的类型系统、新颖的效果系统、模拟器、...

通过在魔法飞天卡牌游戏中进行微调实验，以提高GPT-4的性能，获得了一个精细调整的7B参数模型，其性能接近于人类水平。

本项目介绍了一种新的技术，用于估计图像中的光照，克服了当前依赖HDR全景数据集的现有方法的局限性。通过使用扩散模型将铬球渲染到标准图像中，该技术揭示了铬球与扩散噪声之间的独特关系。这种技术有助于提高图像...

DriveMLM是一种新的框架，它使用大型语言模型来提高自动驾驶的能力。这个系统将语言决策与车辆控制相结合，不仅与现有的自动驾驶系统集成，而且在模拟中表现更好。

Transformer模型虽然强大，但是由于其不稳定性，训练起来常常会很困难。其中一个主要的问题是注意力矩阵的熵崩溃。本文介绍了一种通过简单的重新参数化来防止熵崩溃的方法。

谷歌推出了Gemini Pro，这是其先进的AI模型Gemini Ultra的轻量级版本，在Vertex AI中公开预览，提供文本和图像处理能力以及可定制的上下文，适用于各种用例。Gemini Pro是一个快速而灵活的解决方案，可以自定义模型...

近日，关于OpenAI Q*的传言引发了广泛的讨论。OpenAI Q*被认为是可能会引领人工智能迈向通用推理能力的重要一步。然而，OpenAI Q*并不太可能成为导致人工智能普适智能的关键突破口。OpenAI Q*是一种基于强化学习的模...

Nous Research （Hugging Face Hub）发布了一种名为Capybara的新的语言基础模型和Obsidian的多模态扩展模型，该模型拥有30亿参数，可以在手机等边缘设备上运行。