AutoMATES: Automated Model Assembly from Text, Equations, and Software

Software Engineering For Automated Game Design

As we develop more assistive and automated game design systems, the question of how these systems should be integrated into game development workflows, and how much adaptation may be required, becomes increasingly important. In this paper we explore the impact of software engineering decisions on the ability of an automated game design system to understand a game's codebase, generate new game code, and evaluate its work. We argue that a new approach to software engineering may be required in order for game developers to fully benefit from automated game designers.

Toward Automated Virtual Assembly for Prefabricated Construction: Construction Sequencing through Simulated BIM

To adhere to the stringent time and budget requirements of construction projects, contractors are utilizing prefabricated construction methods to expedite the construction process. Prefabricated construction methods require an adequate schedule and understanding by the contractors and constructors to be successful. The specificity of prefabricated construction often leads to inefficient scheduling and costly rework time. The designer, contractor, and constructors must have a strong understanding of the assembly process to experience the full benefits of the method. At the root of understanding…

ASAP：面向具有物理可行性的复杂机器人装配的自动化序列规划

ASAP: Automated Sequence Planning for Complex Robotic Assembly with Physical Feasibility

本文提出基于物理的 ASAP 方法，通过重力稳定性建模与树搜索（几何启发式或图神经网络引导）为复杂形状产品生成可行装配序列，并在大规模数据集、仿真及真实机器人上验证其性能。

Automated Speech Generation from UN General Assembly Statements: Mapping Risks in AI Generated Texts

Automated text generation has been applied broadly in many domains such as marketing and robotics, and used to create chatbots, product reviews and write poetry. The ability to synthesize text, however, presents many potential risks, while access to the technology required to build generative models is becoming increasingly easy. This work is aligned with the efforts of the United Nations and other civil society organisations to highlight potential political and societal risks arising through the malicious use of text generation software, and their potential impact on human rights. As a case s…

基于 ChatGPT 自动序列规划的机器人赋能建筑装配：RoboGPT

Robot-Enabled Construction Assembly with Automated Sequence Planning based on ChatGPT: RoboGPT

针对建筑机器人装配的任务序列规划难题，本文提出 RoboGPT，利用 ChatGPT 的推理能力实现自动化序列规划，并通过两个案例研究和80次真实任务试验验证其有效性与动态适应性。

Lemur：在自动化程序验证中集成大型语言模型

Lemur: Integrating Large Language Models in Automated Program Verification

本文提出一种将大型语言模型与自动化推理器结合用于自动化程序验证的通用方法，将其形式化为一组转换规则并证明其可靠性，在合成与竞赛基准上取得实际改进。