BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Zhengfeng Yang
SearchCollections
Map detail
Zhengfeng Yang20 visible / 20 total nodes / 71 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Related contextCo-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-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipAuthorshipAuthorshipWorks onWorks onAuthorshipAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipZhengfeng YangAZhengfeng YangResearcherFrom LLM-Generated Conjectures to Lean Formalizations: Automated Polynomial Inequality Proving via Sum-of-Squares CertificatesWFrom LLM-Generated Conj...preprint / 2026Automated Formal Proofs of Combinatorial Identities via Wilf-Zeilberger Guidance and LLMsWAutomated Formal Proofs...preprint / 2026Beibei XiongABeibei XiongResearcherHangyu LvAHangyu LvResearcherJunqi LiuAJunqi LiuResearcherYisen WangAYisen WangResearcherShaoshi ChenAShaoshi ChenResearcherJianlin WangAJianlin WangResearcherRuobing ZuoARuobing ZuoResearcherHanrui ZhaoAHanrui ZhaoResearcherGaolei HeAGaolei HeResearcherLihong ZhiALihong ZhiResearcherExact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric ComputationWExact Safety Verificati...preprint / 2013Exact Safety Verification of Hybrid Systems Based on Bilinear SOS RepresentationWExact Safety Verificati...preprint / 2012Artificial IntelligenceTArtificial Intelligence22915 worksMachine LearningTMachine Learning49008 worksDomain-of-Attraction Estimation for Uncertain Non-polynomial SystemsWDomain-of-Attraction Es...preprint / 2013Exact Safety Verification of Hybrid Systems Using Sums-Of-Squares RepresentationWExact Safety Verificati...preprint / 2011Generating Loop Invariants by Computing Vanishing Ideals of Sample PointsWGenerating Loop Invaria...preprint / 2011
Person19 links

Zhengfeng Yang

Researcher

PaperFrom LLM-Generated Conjectures to Lean Formalizations: Automated Polynomial Inequality Proving via Sum-of-Squares CertificatesAuthorship / preprint / 2026PaperAutomated Formal Proofs of Combinatorial Identities via Wilf-Zeilberger Guidance and LLMsAuthorship / preprint / 2026PersonBeibei XiongCo-authorship / ResearcherPersonHangyu LvCo-authorship / ResearcherPersonJianlin WangCo-authorship / ResearcherPersonJunqi LiuCo-authorship / ResearcherPersonYisen WangCo-authorship / ResearcherPersonShaoshi ChenCo-authorship / Researcher

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)