ArXiv TLDR

Mohammad Reza Mousavi

2 papers · Latest:

Software Engineering

(How) Do Large Language Models Understand High-Level Message Sequence Charts?

LLMs show only a modest understanding (52% accuracy) of High-Level Message Sequence Charts' formal semantics, struggling with complex reasoning tasks.

2605.13773
Software Engineering

Robust Mutation Analysis of Quantum Programs Under Noise

This paper empirically studies noise-aware mutation analysis for quantum programs, showing noise significantly impacts mutant detection.

2605.13279

📬 Weekly AI Paper Digest

Get the top 10 AI/ML arXiv papers from the week — summarized, scored, and delivered to your inbox every Monday.