Dataset · Hugging Face

sileod/ModalFlip

Name: ModalFlip
Creator: sileod
License: cc-by-4.0
Keywords: task_categories:question-answering, language:en, license:cc-by-4.0, size_categories:1K<n<10K, format:json, modality:text, library:datasets, library:pandas, library:polars, library:mlcroissant, arxiv:2608.05097, region:us, logic, modal-logic, controlled-language

ModalFlip: Modal Semantics Reasoning Can a language model change its answer when the rules of modal logic change? Each example contains the same premises and conclusion under two semantic specifications. Only one rule about possible worlds or objects changes, and the correct answer changes with it. Automated theorem provers verify every label. This dataset accompanies Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? (Andrieu and Sileo… See the full description on the dataset page: https://huggingface.co/datasets/sileod/ModalFlip.

View on Hugging FaceReport an issue

Author / organization	sileod
License (as declared)	cc-by-4.0
Downloads	456 (as reported by Hugging Face)
Likes	0
Created	4 August 2026
Last updated at source	8 October 2026

logicmodal-logiccontrolled-languagesemantic-reasoning

Embed this entry

<iframe src="https://silytics.si/embed/item/e21eae54-8777-48b1-ad55-007d50b2f2e4" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

More from sileod

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 16 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.