Ronghui Gu
Identifiers
- name variant Ronghui Gu 0.60 · backfill
Papers (6)
- Giallar: Push-Button Verification for the Qiskit Quantum Compiler cs.PL · 2022 · author #8
- Gleipnir: Toward Practical Error Analysis for Quantum Programs (Extended Version) cs.PL · 2021 · author #6
- SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts cs.PL · 2021 · author #4
- Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks (Extended Version) cs.SE · 2020 · author #5
- CLN2INV: Learning Loop Invariants with Continuous Logic Networks cs.LG · 2019 · author #4
- CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler quant-ph · 2019 · author #7
Mentions
- 2205.00661 #8 · arxiv_oai · confidence 0.70 Ronghui Gu
- 2104.06349 #6 · arxiv_oai · confidence 0.70 Ronghui Gu
- 2103.02209 #4 · arxiv_oai · confidence 0.70 Ronghui Gu
- 1908.08963 #7 · arxiv_oai · confidence 0.70 Ronghui Gu
- 2003.07959 #5 · arxiv_oai · confidence 0.70 Ronghui Gu
- 1909.11542 #4 · arxiv_oai · confidence 0.70 Ronghui Gu
Frequent Coauthors
- Jianan Yao 5 shared papers
- Frederic T. Chong 3 shared papers
- Runzhou Tao 3 shared papers
- Yunong Shi 3 shared papers
- Ali Javadi-Abhari 2 shared papers
- Andrew W. Cross 2 shared papers
- Gabriel Ryan 2 shared papers
- Justin Wong 2 shared papers
- Suman Jana 2 shared papers
- Xupeng Li 2 shared papers
- John Hui 1 shared papers
- Shaokai Lin 1 shared papers
- Xinyuan Sun 1 shared papers