aethel (Automatically Extracted Theorems from Lassy)
收藏OpenXLab2026-04-18 收录
下载链接：
https://openxlab.org.cn/datasets/OpenDataLab/aethel
下载链接
链接失效反馈官方服务：
资源简介：
大约 75,000 个短语和句子的数据集，作为类型逻辑推导进行句法分析（即模态直觉线性逻辑的证明，或相应 λ 演算的程序）。通过转换 Lassy-Small 语料库的依赖图获得分析。
提供机构：
OpenDataLab
创建时间：
2022-05-30
