词映 AI导航
工具库Skills 技能
我的收藏
词映 AI导航

用 ChatGPT 审阅 POPL 论文的例子和定理

English

ChatGPT 安装步骤

  1. 在支持创建技能的 ChatGPT 工作区打开「插件 → 技能 → 创建 → 使用编辑器创建」。
  2. 对照固定版本 GitHub 原文，在编辑器新建技能，将 `popl-writing-style` 的纯文本工作流程改写为技能说明。
  3. 保存后，在新对话输入 @ 并选中刚创建的技能，再用示例试用。

中文摘要

从具体程序引出定义和主定理，并核对证明概述是否明确归纳量、困难情形与适用范围。

SKILL.md 中文导读

可复现示例

根据虚构的 Fern 语言资料改写论文概述。
paper="Fern core language"; exampleTerm="let box = copy(x) in use(box)"; phenomenon="copy breaks the alias invariant"; theorem="T-1 alias safety"; scope="sequential language"; hardCase="copy rule"; proofMeasure="derivation height"

工作步骤

  1. 梳理例子、定义和主定理之间的依赖。
  2. 检查符号首次使用与定理范围，补写证明概述的难点。

验收方法

先用 `let box = copy(x) in use(box)` 引出别名问题，再写 `T-1 alias safety` 只针对顺序语言。证明概述说明对推导高度归纳，困难点是复制规则。

GitHub 原文 · 更新日期

适用环境

支持创建技能的 ChatGPT 工作区。使用以下虚构材料作为纯文本输入。

常见问题

用 ChatGPT 怎样把程序例子接到 POPL 主定理？

用程序展示需要解释的现象，然后逐项引入例子所需的符号和定义。主定理说明条件，再为证明概述补上归纳量和困难分支。

相关指南

相关推荐