7 papers
FlowLOB: Efficient and Controllable Limit Order Book Generation with Flow Matching
Zhuohan Wang, Andreea Bacalum, Ollie Olby +2
Limit order book (LOB) simulators are most useful to practitioners when they combine realistic market dynamics, computationally efficient sampling, controllable scenario generation…
Verifying Adversarial Robustness in Quantum Machine Learning: from theory to physical validation via a software tool
Ji Guan, Mingsheng Ying
As with classical neural networks, quantum machine learning (QML) models are vulnerable to small input perturbations that can significantly alter output predictions. Certifying the…
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits
Zihao Li, Ji Guan, Mingsheng Ying
We present a tool QSeqSim, a Qiskit-integrated symbolic backend that fills the current gap of having no Qiskit-native support for simulating while-loop quantum programs and their i…
Model Checking Matrix Product States against Linear Chain Logic
Ming Xu, Yihao Chen, Ji Guan
Matrix product states (MPS) are a standard tensor-network representation for ground states of one-dimensional quantum many-body systems, and they underpin widely used simulation to…
Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits
Mingyu Huang, Ji Guan, Wang Fang +1
In the current NISQ (Noisy Intermediate-Scale Quantum) era, simulating and verifying noisy quantum circuits is crucial but faces challenges such as quantum state explosion and comp…
Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
Ming Xu, Jingyi Mei, Ji Guan +2
Verifying quantum systems has attracted a lot of interest in the last decades.In this paper, we study the quantitative model-checking of quantum continuous-time Markov chains (quan…