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

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

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

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

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

研究人员设计了一种新方法，使用虚拟模拟器为语言模型提供“具身体验”，以培养其对真实世界的理解和规划能力。这种新方法显著提高了模型的能力，使得小型模型的表现与 ChatGPT 等大型模型相当甚至更好。 ## 三个核心...