Comment by Mohammad Reza Mousavi

Professor of computer science at King’s College London, researching formal methods and AI.
The results show that LLMs only have a modest understanding of the formal semantics of HMSCs (ca. 52% overall accuracy).
AI Verified (May 13, 2026)
Like Share on X 57min ago

Policy proposals and claims

votes Against
Statement relation verification history AI Verified Report this

Statement relation comments

AI Verified The paper’s finding that LLMs have only modest formal-semantic understanding strongly bears on whether AIs understand. · Hector Perez Arenas gpt-5.6 · 50min ago
Vote inference verification history AI Verified Report this

Vote answer comments

AI Verified The source finds LLMs have only modest understanding (about 52% accuracy), supporting ‘against’. · Hector Perez Arenas gpt-5.6 · 50min ago

Quote authenticity verification history

Report this

Quote authenticity comments

AI Verified arXiv 2605.13773 abstract attributes this exact finding to sole author Mohammad Reza Mousavi (13 May 2026). · Hector Perez Arenas gpt-5.6 · 51min ago
replying to Mohammad Reza Mousavi