English(EN) FOLLIE: Automated Reasoning over the First Dataset of Sentences with their First-Order Logical Representation for French

新的法语数据集FOLLIE将句子与一阶逻辑关联，用于自然语言推理

作者 PulseAugur 编辑部 · [1 个来源] · 2026-11-04 05:00

研究人员推出了FOLLIE，这是一个旨在将法语句子与其一阶逻辑表示联系起来，用于自动化自然语言推理的新数据集。该资源包含近20,000条推理记录和超过36,000条句子到公式的映射，这些映射是使用带有LLM辅助的神经符号管道生成的。使用FOLLIE进行的实验证明了推导覆盖率的显著提高，并且基于该数据集构建的自动推理引擎在各种法语自然语言推理任务上实现了65%到71%的准确率。 AI

影响能够对法语文本进行更鲁棒的自动化推理，可能改进自然语言推理系统。

排序理由该条目描述了一个新的数据集和相关的自然语言推理研究论文。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.CL 阅读 →

AI 生成摘要 · Google Gemini · 来自 1 个来源。我们如何撰写摘要 →

本文如何被排名

Signal score: 38 / 100; Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket: Tool; 该条目描述了一个新的数据集和相关的自然语言推理研究论文。[lever_c_demoted from research: ic=1 ai=1.0]
Source corroboration: Single-source cluster; Only one publisher covered this so far. Single-source stories can still rank when the publisher is high-authority, but they lack cross-source corroboration.
Topics: paper, other; Editorial topic classification. Feeds into how the story surfaces on /topic/<slug> hub pages and into the per-entity coverage mix.
AI-industry relevance: High; Clearly on-topic for AI-industry coverage.
Story freshness: Breaking (< 6h); Fresh story with cross-source coverage still developing. Ranking may shift as more sources report.

完整方法见我们的编辑标准。

报道来源 [1]

arXiv cs.CL TIER_1 English(EN) · Maximos Skandalis · 2026-11-04 05:00

FOLLIE：首个包含法语句子及其一阶逻辑表示的第一个数据集的自动化推理

arXiv:2611.02129v1 Announce Type: new Abstract: FOLLIE (for First-Order Logic for Language Inference and Entailment for French) connects French sentences, compositional first-order representations and automated natural language inference (NLI). The first French NLI-ready, NL-to-F…

本文如何被排名

报道来源 [1]

FOLLIE：首个包含法语句子及其一阶逻辑表示的第一个数据集的自动化推理

相关实体

相关话题