Graph explorer

Research map

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

Yingze Li
Map detail
Yingze Li8 visible / 8 total nodes / 28 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-authorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalAuthorshipYingze LiAYingze LiResearcherReward-Weighted On-Policy Distillation with an Open Property-Equivalence Verifier for NL-to-SVA GenerationWReward-Weighted On-Poli...preprint / 2026Qingyun ZouAQingyun ZouResearcherTianen LiuATianen LiuResearcherBingsheng HeABingsheng HeResearcherWeng-Fai WongAWeng-Fai WongResearcherHardware ArchitectureTHardware Architecture1095 worksMachine LearningTMachine Learning49008 works
Person7 links

Yingze Li

Researcher