10 citations · 28 across the 6 of their papers we have counts for
6 papers
Robustness Verification of Binary Neural Networks: An Ising and Quantum-Inspired Framework
Rahul Singh, Seyran Saeedi, Zheng Zhang
Binary neural networks (BNNs) are increasingly deployed in edge computing applications due to their low hardware complexity and high energy efficiency. However, verifying the robus…
Quantum Semi-Supervised Kernel Learning
Seyran Saeedi, Aliakbar Panahi, Tom Arodz
Quantum computing leverages quantum effects to build algorithms that are faster then their classical variants. In machine learning, for a given model architecture, the speed of tra…
CS-NLP team at SemEval-2020 Task 4: Evaluation of State-of-the-art NLP Deep Learning Architectures on Commonsense Reasoning Task
Sirwe Saeedi, Aliakbar Panahi, Seyran Saeedi +1
In this paper, we investigate a commonsense inference task that unifies natural language understanding and commonsense reasoning. We describe our attempt at SemEval-2020 Task 4 com…
word2ket: Space-efficient Word Embeddings inspired by Quantum Entanglement
Aliakbar Panahi, Seyran Saeedi, Tom Arodz
Deep learning natural language processing models often use vector word embeddings, such as word2vec or GloVe, to represent words. A discrete sequence of words can be much more easi…
Quantum Sparse Support Vector Machines
Seyran Saeedi, Tom Arodz
We analyze the computational complexity of Quantum Sparse Support Vector Machine, a linear classifier that minimizes the hinge loss and the norm of the feature weights vector…
On efficiently solvable cases of Quantum k-SAT
Marco Aldi, Niel de Beaudrap, Sevag Gharibian +1
The constraint satisfaction problems k-SAT and Quantum k-SAT (k-QSAT) are canonical NP-complete and QMA_1-complete problems (for k>=3), respectively, where QMA_1 is a quantum gener…