高敏博

高敏博

博士研究生

中国科学院软件研究所

兴趣爱好
  • 量子算法与量子程序

经历
  • 访问学生 · 清华大学计算机科学与技术系

教育经历
  • 本科 · 清华大学交叉信息研究院

  • 博士研究生 · 中国科学院软件研究所

最新发表

(2026). Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions. 41st Annual Symposium on Logic in Computer Science (LICS 2026).

PDF 引用 DOI DOI arXiv

(2026). Quantum Multi-Level Estimation of Functionals of Discrete Distributions. 53rd International Colloquium on Automata, Languages, and Programming (ICALP 2026).

PDF 引用 DOI DOI arXiv

(2026). Quantum Hamiltonian Certification. Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA).

PDF 引用 DOI arXiv URL DOI

(2025). Scalable Quantum Error Mitigation with Neighbor-Informed Learning. arXiv(预印本).

PDF 引用 arXiv

(2025). On Estimating the Quantum Tsallis Relative Entropy. arXiv(预印本).

PDF 引用 arXiv

(2025). Quantum Speedup for Sampling Random Spanning Trees. 52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025).

PDF 引用 DOI arXiv URL DOI

(2025). Complete Quantum Relational Hoare Logics from Optimal Transport Duality. 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

PDF 引用 DOI DOI arXiv

(2025). Quantum Approximate k-Minimum Finding. Schloss Dagstuhl – Leibniz-Zentrum für Informatik.

引用 DOI URL

(2023). Logarithmic-Regret Quantum Learning Algorithms for Zero-Sum Games. Advances in Neural Information Processing Systems.

PDF 引用