Yang Zheng
29 papers · 2020–2026 · 10 venues · across top CS/AI venues
This profile combines several different researchers. Authors are keyed by name, and this name's papers fall into 10 separate collaboration groups - the largest holds only 28% of them. Pick the group below that matches the researcher you mean. How a shared name is split.
Achievements are not shown for a combined profile - each one describes a single researcher's record, which this is not.
Which Yang Zheng?
5 groups of papers that share co-authors internally but none with each other - each most likely a different researcher. Pick one to see its papers.
with Alessio Lomuscio, Jianglin Lan, Ben Batten
3 papers
· 2021–2023
· AAAI, IJCAI
Hide ▲
Iteratively Enhanced Semidefinite Relaxations for Efficient Neural Network Verification
AAAI 2023
Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations
AAAI 2022
Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts
IJCAI 2021
5 papers whose co-authors appear nowhere else under this name
CustomContrast: A Multilevel Contrastive Perspective for Subject-Driven Text-to-Image Customization
AAAI 2025
Enhancing Distributional Stability among Sub-populations
AISTATS 2024
On the Scalability and Memory Efficiency of Semidefinite Programs for Lipschitz Constant Estimation of Neural Networks
ICLR 2024
Inferring Hybrid Neural Fluid Fields from Videos
NeurIPS 2023
PatchNAS: Repairing DNNs in Deployment with Patched Network Architecture Search
AAAI 2023