leobertolazzi/syllogistic-logic

Dataset Summary Syllogistic-logic is a synthetic dataset designed to evaluate the logical reasoning abilities of LLMs. It focuses on the task of logical premise selection — identifying the minimal set of premises in a knowledge base that entails a given hypothesis. The dataset is built on the syllogistic fragment of first-order logic and supports systematic generalization experiments, including generalization to unseen knowledge bases and reasoning with longer or shorter… See the full description on the dataset page: https://huggingface.co/datasets/leobertolazzi/syllogistic-logic.