Graph explorer

Lihong Zhi

Lihong Zhi contributes to research discovery and scholarly infrastructure.

21 nodes56 linksoverview previewLihong Zhi
21 nodes56 links
Lihong Zhi21 visible / 21 total nodes / 56 links
Co-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipWorks onWorks onWorks onWorks onWorks onAuthorshipWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalAuthorshipAuthorshipAuthorshipAuthorshipALihong ZhiResearcherWAutomated Formal Proofs...preprint / 2026ABeibei XiongResearcherAHangyu LvResearcherAJunqi LiuResearcherAYisen WangResearcherAShaoshi ChenResearcherAZhengfeng YangResearcherAJianlin WangResearcherTMachine Learning49008 worksWSynthesizing Invariant ...preprint / 2022WThe Minimum-Rank Gram M...preprint / 2011WVerified Error Bounds f...preprint / 2012WVerified Error Bounds f...preprint / 2012WComputing Isolated Sing...preprint / 2011WLifts of Non-compact Co...preprint / 2014WExtensions of S-Lemma f...preprint / 2022WOn quantum Strassen&#39...preprint / 2020WSymmetric Tensor Decomp...preprint / 2020WCertificates of Impossi...preprint / 2012WA certificate for semid...preprint / 2012
PersonSignal 1020 links

Lihong Zhi

Researcher

Open