TY  - RPRT
TI  - Quantum automated theorem proving
AU  - Zheng-Zhi Sun
AU  - Qi Ye
AU  - Dong-Ling Deng
PY  - 2026
UR  - https://arxiv.org/abs/2601.07953
ID  - 2601.07953
ER  -