10 citations · 12 across the 4 of their papers we have counts for
1 paper · 1 filter
Haowei Deng, Runzhou Tao, Yuxiang Peng +1
Quantum programs are notoriously difficult to code and verify due to unintuitive quantum knowledge associated with quantum programming. Automated tools relieving the tedium and err…