Zhenbing Zeng
5 papers · 2023–2026 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (3) π Cross-Pollinator (4) π Renaissance Researcher (7)
πΊοΈ
Taxonomy Completionist
(21)
Conferences
AAAI (2)
IJCAI (2)
CVPR (1)
Top co-authors
Keywords
image super-resolution
(2)
nonlinear control
(1)
linear programming
(1)
polynomial optimization
(1)
convolutional neural network
(1)
recurrent neural network
(1)
safety verification
(1)
robust control
(1)
activation function
(1)
bayesian neural network
(1)
mobile device
(1)
parameter efficiency
(1)
inference speed
(1)
lightweight model
(1)
nonlinear system
(1)
robustness verification
(1)
hypergraph neural network
(1)
control barrier certificate
(1)
neural-symbolic system
(1)
geometric problem solving
(1)
Papers
Tighter Truncated Rectangular Prism Approximation for RNN Robustness Verification
AAAI 2026
FGeo-HyperGNet: Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network
IJCAI 2025
Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers
AAAI 2023
Equivalent Transformation and Dual Stream Network Construction for Mobile Image Super-Resolution
CVPR 2023
A Novel Learnable Interpolation Approach for Scale-Arbitrary Image Super-Resolution
IJCAI 2023