We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
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)
Policy proposals and claims
votes Against
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 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 thisQuote 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