Scholar

Qi Ye

Google Scholar ID: mTyAkCAAAAAJ

Tsinghua University

Quantum Information

Google Scholar↗

Citations & Impact

All-time

Citations

206

H-index

9

i10-index

9

Publications

17

Co-authors

9

list available

Contact

No contact links provided.

Publications

1 items

Quantum automated theorem proving

2026

Cited

0

Resume (English only)

Co-authors

9 total

Harvard University

Dong-Ling Deng (邓东灵)

Associate Professor at IIIS, Tsinghua University

Tsinghua University

Yau Mathematical Sciences Center, Tsinghua University

Assistant Professor of Computer Science, Harvard University

Institute for Interdisciplinary Information Sciences, Tsinghua University

Jonas Haferkamp

Saarland University