P
PaperPicks
Conferences
Duo Zhou
4 papers at tracked venues · 4 at CORE A* · active 2024–2026
DBLP profile ↗
ORCID search ↗
Venues
NeurIPS
×2
AAAI
×1
ACL
×1
Frequent coauthors
Chengming Cui
DBLP profile ↗
ORCID search ↗
×1
Mingxuan Cui
DBLP profile ↗
ORCID search ↗
×1
Papers
AdaFuse: Adaptive Ensemble Decoding for Large Language Models
ACL 2026
·
Chengming Cui
DBLP profile ↗
ORCID search ↗
ShortageSim: Simulating Drug Shortages Under Information Asymmetry
AAAI 2026
·
Mingxuan Cui
DBLP profile ↗
ORCID search ↗
Clip-and-Verify: Linear Constraint-Driven Domain Clipping for Accelerating Neural Network Verification
NeurIPS 2025
·
Duo Zhou
Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes
NeurIPS 2024
·
Duo Zhou