text2log
收藏OpenXLab2026-04-18 收录
下载链接：
https://openxlab.org.cn/datasets/OpenDataLab/text2log
下载链接
链接失效反馈官方服务：
资源简介：
The dataset contains 100,000 simple English sentences selected and filtered from enTenTen15 and their translation into First Order Logic (FOL) using ccg2lambda.
提供机构：
OpenDataLab
创建时间：
2024-05-14
