text2log
收藏OpenXLab2026-04-18 收录
官方服务：
资源简介：
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
社区交流群
科研交流群
商业服务