Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189, CRIStAL, F-59000 Lille, France; Univ. Lille, CRIStAL, F-59000 Lille, France
logic;epistemic logic;theory of mind;language models
MindGames: Targeting Theory of Mind in Large Language Models with Dynamic Epistemic Modal Logic