text2log
收藏官方服务：
资源简介：
Text2log仓库的核心定位是提供英文句子到一阶逻辑表达式（FOL）的翻译数据集，包含约10万条英文句子及其对应的FOL翻译。该数据集主要用于训练能够从自然语言文本生成FOL语句的模型，数据来源于`enTenTen15`语料库，并使用`ccg2lambda`工具进行自动标注。该仓库提供数据集的下载和访问，并鼓励用户贡献和参与数据集的改进。
提供机构：
AIWizards创建时间：
2024-07-19
社区交流群
科研交流群
商业服务
Text2log仓库的核心定位是提供英文句子到一阶逻辑表达式（FOL）的翻译数据集，包含约10万条英文句子及其对应的FOL翻译。该数据集主要用于训练能够从自然语言文本生成FOL语句的模型，数据来源于`enTenTen15`语料库，并使用`ccg2lambda`工具进行自动标注。该仓库提供数据集的下载和访问，并鼓励用户贡献和参与数据集的改进。