mainlp/LogicSkills

LogicSkills — Training Data Companion training releases for the LogicSkills benchmark (EMNLP 2026 Findings). This Hugging Face dataset has three subsets: symbolization, countermodel, and validity, each with a single train split. Each subdirectory contains the corresponding data and task documentation. Code for our data generation pipeline can be found here. Dataset Path Size Task Symbolization symbolization/ 100k × 2 languages sentence → FOL Countermodel… See the full description on the dataset page: https://huggingface.co/datasets/mainlp/LogicSkills.