Assessing the (In)Ability of LLMs to Reason in Interval Temporal Logic. - Pietro Bellodi; Pietro Casavecchia; Alberto Paparella; Guido Sciavicco; Ionel Eduard Stan (TIME, 2025)