ACLJun, 2023

数学故事问题的全球模型

TL;DR本文提出了一个基于图形的语义形式化方法 MathWorld,用于对数学问题进行世界建模,以进一步提高自然语言处理模型的推理和世界建模能力,并且基于该方法,成功生成了新问题并验证了其在其他方面的应用。