Omkar2118/datasets huggingface dataset:
Mindgames

We generate epistemic reasoning problems using modal logic to target theory of mind (tom) in natural language processing models.

Introducing paper: MindGames: Targeting Theory of Mind in Large Language Models with Dynamic Epistemic Modal Logic