Datasetpublicgated

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.

sourceHugging Facecc-by-4.0updated 13d agoView on Hugging Face

0likes21downloads

root

dircountermodel/

dirsymbolization/

dirvalidity/

file.gitattributes3 KBdownload

fileREADME.md3 KBdownload

mainlp/LogicSkills · main · files are served by the source, never re-hosted here

This repository is gated. The listing is public, but downloading a file means accepting the publisher’s terms at Hugging Face first — the links above take you there rather than around it.