Zhengfeng Yang

Identifiers

• name variant Zhengfeng Yang 0.60 · backfill

Papers (8)

1. From LLM-Generated Conjectures to Lean Formalizations: Automated Polynomial Inequality Proving via Sum-of-Squares Certificates cs.AI · 2026 · author #4
2. Automated Formal Proofs of Combinatorial Identities via Wilf-Zeilberger Guidance and LLMs cs.LG · 2026 · author #7
3. Layered material GeSe and vertical GeSe/MoS2 p-n heterojunctions cond-mat.mes-hall · 2017 · author #2
4. Domain-of-Attraction Estimation for Uncertain Non-polynomial Systems cs.SC · 2013 · author #2
5. Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric Computation cs.SC · 2013 · author #1
6. Exact Safety Verification of Hybrid Systems Based on Bilinear SOS Representation cs.SE · 2012 · author #1
7. Exact Safety Verification of Hybrid Systems Using Sums-Of-Squares Representation cs.SE · 2011 · author #3
8. Generating Loop Invariants by Computing Vanishing Ideals of Sample Points cs.SC · 2011 · author #4

Mentions

• 1303.0452 #2 · backfill · confidence 0.70 Zhengfeng Yang
• 1302.5974 #1 · backfill · confidence 0.70 Zhengfeng Yang
• 1201.4219 #1 · backfill · confidence 0.70 Zhengfeng Yang
• 1112.2328 #3 · backfill · confidence 0.70 Zhengfeng Yang
• 1111.0732 #4 · backfill · confidence 0.70 Zhengfeng Yang
• 2605.15445 #4 · arxiv_oai · confidence 0.70 Zhengfeng Yang

Frequent Coauthors

• Min Wu 5 shared papers
• Wang Lin 4 shared papers
• Jianlin Wang 2 shared papers
• Zhenbing Zeng 2 shared papers
• Beibei Xiong 1 shared papers
• Bin Wu 1 shared papers
• Gaolei He 1 shared papers
• Hangyu Lv 1 shared papers
• Hanrui Zhao 1 shared papers
• Jia-an Yan 1 shared papers
• Junqi Liu 1 shared papers
• Lihong Zhi 1 shared papers
• Liyong Shen 1 shared papers
• Mehrshad Mehboudi 1 shared papers
• Ruobing Zuo 1 shared papers
• Salvador Barraza-Lopez 1 shared papers
• Shaoshi Chen 1 shared papers
• Wenjuan Zhu 1 shared papers
• Wui Chung Yap 1 shared papers
• Yisen Wang 1 shared papers