May, 2021

将法定推理视为语言理解挑战

TL;DR该研究将立法推理问题分解为四种类型的语言理解挑战问题,通过介绍Prolog程序中发现的概念和结构,为三种基准提供了注释和基线,并证明它们的模型受益于附加的结构,并且分解为子任务有助于更细粒度的模型诊断和更清晰的递增计划。