语言模型（LLMs）的实用性在于其速度、准确性以及遵循指令的能力。这三个特性使得通过文本输入控制的街头霸王模拟器成为了衡量不同模型在这三个方面表现的绝佳方式。GitHub上的一个项目通过这种方式为LLMs提供了一个...

一篇令人惊叹的论文将视频框架作为人工智能与人类用户交互的一种潜在更好的方法。它展示了视频模型可以用作规划器、代理、计算引擎和环境模拟器。以视频为基础的人工智能可以模拟现实世界，更好地支持人类决策。

REINFORCE是一种简单、标准且易于理解的强化学习方法。然而，在模拟器中使用它很难稳定地进行训练。PPO在一般情况下更为高效和稳定。Gemini使用REINFORCE算法，而据信GPT-4使用PPO算法。

柔性机器人由于其大量的控制空间而具有挑战性。这项工作引入了一个模拟器，其中包含用于操作柔性“Ditto”对象的各种任务。它包含实用程序、可视化和一些强大的基准。

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

如果你的模拟器是生成式AI，它可以实现零-shot迁移机器人策略！DeepMind和同事的这项工作解决了强化学习通常无法推广到训练环境之外的挑战。如果我们把所有东西都作为训练环境，那么就没有必要进行推广了。

本文介绍了一个名为INT-FP-QSim的开源模拟器。这款模拟器的主要功能是测试大型语言模型和视觉变换器在不同数值精度级别下的运行效果。大型语言模型和视觉变换器在AI领域具有广泛的应用，然而，由于其复杂的计算需求...

Blush是一款AI约会模拟器，帮助用户练习情感和亲密关系技巧。这款应用是由AI聊天机器人Replika的开发公司Luka开发的，它向用户介绍了1000多个AI“crushes”，用户可以与其互动以“练习”情感亲密度。该应用的开发团队与...