3 papers
cs.AI2026
Epistemic-Probabilistic Model for Guarded Multi-Agent LLM Coordination
Mehdi Nasiri, Mohammad Saeed Arvenaghi, Sadegh Vaezi +1
Multi-agent large language models (LLMs) have become ubiquitous in applied AI, yet their theoretical foundations remain surprisingly understudied. Viewed through the lens of multi-…
quant-ph2021
Parametrized Complexity of Quantum Inspired Algorithms
Ebrahim Ardeshir-Larijani
Motivated by recent progress in quantum technologies and in particular quantum software, research and industrial communities have been trying to discover new applications of quantu…
cs.LO2013
Automated Verification of Quantum Protocols by Equivalence Checking
Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan
In this paper we introduce a technique and a tool for formal verification of various quantum information processing protocols. The tool uses stabilizer formalism and is capable of…