Lihong Zhi

1. Symmetric Tensor Decompositions On Varieties
   2020/03/22 by Jiawang Nie, Ke Ye, Nie, Jiawang +3 · 1 citation
   Mathematics · #Algebraic Geometry (math.AG) #FOS: Mathematics #Numerical Analysis (math.NA) #Tensor decomposition and applications
2. Synthesizing Invariants for Polynomial Programs by Semidefinite Programming
   2023/10/17 by Hao Wu, Wu, Hao, Qiuye Wang +9 · 2 citations
   Computer Science · Mathematics · #Advanced Optimization Algorithms Research #F.3.1 #FOS: Computer and information sciences #Formal Methods in Verification #G.1.6 #Machine Learning and Algorithms #Programming Languages (cs.PL)
3. The integral closure of a primary ideal is not always primary
   2022/10/30 by Nan Li, Li, Nan, Zijia Li +5 · 1 citation
   Computer Science · Mathematics · #13B22 #32S15 #32S60 #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #Commutative Algebra (math.AC) #Commutative Algebra and Its Applications #FOS: Mathematics #Polynomial and algebraic computation
4. A Characterization of Perfect Strategies for Mirror Games
   2023/02/09 by Sizhuo Yan, Yan, Sizhuo, Jianting Yang +5 · 1 citation
   Physics and Astronomy · Computer Science · #Quantum Mechanics and Applications #Quantum Information and Cryptography #Advanced Algebra and Logic
5. A certificate for semidefinite relaxations in computing positive dimensional real varieties
   2012/12/20 by Yue Ma, Ma, Yue, Chu Wang +3 · 1 citation
   Computer Science · Mathematics · #Advanced Optimization Algorithms Research #Commutative Algebra and Its Applications #Polynomial and algebraic computation #math.OC
6. A Combinatorial Identities Benchmark for Theorem Proving via Automated Theorem Generation
   2025/02/25 by Beibei Xiong, Xiong, Beibei, Hao Lv +8 · 3 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, programming, and type systems
7. Synthesizing Invariants for Polynomial Programs by Semidefinite Programming
   2024/12/18 by Hao Wu, Qiuye Wang, Xue Bai +5 · 2 citations
   Computer Science · Mathematics · #Advanced Optimization Algorithms Research #Formal Methods in Verification #Polynomial and algebraic computation
8. MechGeo: Autoformalizing and Proving Euclidean Geometry in Lean 4
   2026/08/03 by Hao Shen, Junyu Guo, Tian Cui +2
   Computer Science · #cs.AI #cs.LO