Zhenbing Zeng
5 papers · 2023–2026 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
π
Conference Polyglot Β· Bronze
π
Interdisciplinary Bridge Β· Silver
πΊοΈ
Taxonomy Completionist
(20)
π
Renaissance Researcher
(5)
Top co-authors
Research topics
Machine Learning
(4)
Artificial Intelligence
(3)
Deep Learning
(3)
Core AI
(3)
Computer Vision
(2)
Architectures
(2)
Optimization & Theory
(2)
Processing
(2)
Knowledge & Reasoning
(1)
Mathematics & Optimization
(1)
Robotics
(1)
Application Areas
(1)
Bayesian & Probabilistic
(1)
Core Methods
(1)
Learning Types
(1)
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
A Novel Learnable Interpolation Approach for Scale-Arbitrary Image Super-Resolution
IJCAI 2023
Equivalent Transformation and Dual Stream Network Construction for Mobile Image Super-Resolution
CVPR 2023
Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers
AAAI 2023