法语一阶逻辑推理数据集FOLLIE发布

Maximos Skandalis 等人发布 FOLLIE，称其为首个面向法语、可直接用于自然语言推理的 NL-to-FOL 资源。数据集包含 19,983 条推理记录和 36,987 条非空句子-槽位-公式映射，素材来自六个异构 NLI 来源，把法语句子、组合式一阶逻辑表示与自动推理连接起来。 据发布方介绍，FOLLIE 的定位是让法语推理任务能借助一阶逻辑公式自动完成，而不再只依赖句对标注。

AI 根据报道生成 · 48 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。