#约束推理

arXiv 论文提出学术修订的约束变换治理框架

论文把学术论文修订建模为有序约束下的可容许性问题，用任务不变量、上下文约束与可变表述选择界定可容许空间，并以「主张保全契约」连接证据与授权主张边界。作者实现 Academic Writing Filter 筛选候选修订，强调其目标是在不悄悄改变研究论证的前提下调整表述。