Worked examples (solutions to typical programming problems presented as a
source code in a certain language and are used to explain the topics from a
programming class) are among the most popular types of learning content in
programming classes. Most approaches and tools for presenting these examples to
students are based on line-by-line explanations of the example code. However,
instructors rarely have time to provide line-by-line explanations for a large
number of examples typically used in a programming class. In this paper, we
explore and assess a human-AI collaboration approach to authoring worked
examples for Java programming. We introduce an authoring system for creating
Java worked examples that generates a starting version of code explanations and
presents it to the instructor to edit if necessary.We also present a study that
assesses the quality of explanations created with this approach

介绍了一种用于创建 Java 编程的实例的制作系统，通过人工智能与人类教师的合作，以生成初始版本的代码解释，并根据需要进行编辑。还进行了一项研究，评估了使用该方法创建的解释的质量。

人工智能与人类共同创造的编程课程范例

Human-AI Co-Creation of Worked Examples for Programming Classes

Worked examples (solutions to typical programming problems presented as a
source code in a certain language and are used to explain the topics from a
programming class) are among the most popular types of learning content in
programming classes. Most approaches and tools for presenting these examples to
students are based on line-by-line explanations of the example code. However,
instructors rarely have time to provide line-by-line explanations for a large
number of examples typically used in a programming class. In this paper, we
explore and assess a human-AI collaboration approach to authoring worked
examples for Java programming. We introduce an authoring system for creating
Java worked examples that generates a starting version of code explanations and
presents it to the instructor to edit if necessary. We also present a study
that assesses the quality of explanations created with this approach.

本文探讨和评估了一种人工智能与人类合作的方法来编写 Java 编程的示例，该方法提供了生成带有初始版本代码解释并交由教师编辑的编写系统，并介绍了对此方法创建的解释质量进行评估的研究。

Java 编程中人机协作的编写示例

Authoring Worked Examples for Java Programming with Human-AI  Collaboration

Over the years, integer linear programs have been employed to model inference
in many natural language processing problems. This survey is meant to guide the
reader through the process of framing a new inference problem as an instance of
an integer linear program and is structured as a collection of recipes. At the
end, we will see two worked examples to illustrate the use of these recipes.

本文介绍了如何使用整数线性规划将自然语言处理中的推理问题建模，并提供了实例和方法。