2 papers
quant-ph2026
Quantum automated theorem proving
Zheng-Zhi Sun, Qi Ye, Dong-Ling Deng
Automated theorem proving, or more broadly automated reasoning, aims at using computer programs to automatically prove or disprove mathematical theorems and logical statements. It…
quant-ph2024
Quantum continual learning on a programmable superconducting processor
Chuanyu Zhang, Zhide Lu, Liangtian Zhao +32
Quantum computers may outperform classical computers on machine learning tasks. In recent years, a variety of quantum algorithms promising unparalleled potential to enhance, speed…