text2log

Text2log仓库的核心定位是提供英文句子到一阶逻辑表达式（FOL）的翻译数据集，包含约10万条英文句子及其对应的FOL翻译。该数据集主要用于训练能够从自然语言文本生成FOL语句的模型，数据来源于`enTenTen15`语料库，并使用`ccg2lambda`工具进行自动标注。该仓库提供数据集的下载和访问，并鼓励用户贡献和参与数据集的改进。