text2log
收藏OpenCSG2024-07-19 更新2026-01-19 收录
下载链接：
https://opencsg.com/datasets/AIWizards/text2log?tab=summary
下载链接
链接失效反馈官方服务：
资源简介：
Text2log仓库的核心定位是提供英文句子到一阶逻辑表达式（FOL）的翻译数据集，包含约10万条英文句子及其对应的FOL翻译。该数据集主要用于训练能够从自然语言文本生成FOL语句的模型，数据来源于`enTenTen15`语料库，并使用`ccg2lambda`工具进行自动标注。该仓库提供数据集的下载和访问，并鼓励用户贡献和参与数据集的改进。
提供机构：
AIWizards
创建时间：
2024-07-19
