aethel (Automatically Extracted Theorems from Lassy)

大约 75,000 个短语和句子的数据集，作为类型逻辑推导进行句法分析（即模态直觉线性逻辑的证明，或相应 λ 演算的程序）。通过转换 Lassy-Small 语料库的依赖图获得分析。

A dataset containing approximately 75,000 phrases and sentences, whose syntactic analyses are conducted via type-logical deduction, i.e., proofs in modal intuitionistic linear logic or the corresponding λ-calculus programs. These analyses are obtained by converting the dependency graphs from the Lassy-Small corpus.

搜集汇总

背景与挑战

背景概述

aethel是一个包含约7.5万个短语和句子的数据集，通过将Lassy-Small语料库的依赖图转换为类型逻辑推导而生成，用于句法分析。该数据集由蒙彼利埃大学和乌得勒支大学于2020年发布，支持模态直觉线性逻辑的证明或相应λ演算程序的研究。