Zhenbing Zeng

Shanghai University — China

Mathematics · Physical Sciences

15h-index1.2kcitations156works0.32yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Mathematics and Applications(20), Formal Methods in Verification(16), Polynomial and algebraic computation(16), Advanced Numerical Analysis Techniques(13), Logic, programming, and type systems(12)

Publications156 total

Tighter Truncated Rectangular Prism Approximation for RNN Robustness Verification
arXiv (Cornell University)·2025Open Access
An iterative scheme of hybrid controller synthesis for nonlinear systems subject to safety constraints
Information and Computation·2025
Learning to select cutting planes in mixed integer linear programming solving
Expert Systems with Applications·2025
A Novel Algorithm for Representing Positive Semi-Definite Polynomials as Sums of Squares with Rational Coefficients
arXiv (Cornell University)·2025Open Access
FGeo-HyperGNet: Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network
2025
Evaluating Statistical Cure Probability and Cure Time in Cervical Cancer Patients Based on a Mixture Cure Model
International Journal of Radiation Oncology*Biology*Physics·2025
Safe Reinforcement Learning for NN-controlled Systems with Neural Barrier Certificate Guidance
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems·2025
FGeo-Parser: Autoformalization and Solution of Plane Geometric Problems
Symmetry·2024· 2 citedOpen Access
A Quantum-Inspired Mechanical Method for Proving of Ramsey’s Theorem by Symbolic Computation over the Finite Field GF(2)
Lecture notes in computer science·2024
Learning to Select Cutting Planes in Mixed Integer Linear Programming Solving
arXiv (Cornell University)·2024Open Access
Global Optimization for Heilbronn Problem of Convex Polygons Based on Bilinear Matrix Inequalities Solving
Journal of Systems Science and Complexity·2024
Safe Controller Synthesis for Nonlinear Systems via Reinforcement Learning and PAC Approximation
2024
Neural Barrier Certificates Synthesis of NN-Controlled Continuous Systems via Counterexample-Guided Learning
2024· 1 cited
Learning to Select Cutting Planes in Mixed Integer Linear Programming Solving
SSRN Electronic Journal·2024· 1 citedOpen Access
Algebraic curve interpolation for intervals via symbolic-numeric computation
Scientia Sinica Mathematica·2023Open Access
FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving
arXiv (Cornell University)·2023· 1 citedOpen Access
Enhancing Real-Time Super Resolution with Partial Convolution and Efficient Variance Attention
2023· 5 cited
A Novel Learnable Interpolation Approach for Scale-Arbitrary Image Super-Resolution
2023· 5 citedOpen Access
Safe DNN-type Controller Synthesis for Nonlinear Systems via Meta Reinforcement Learning
2023· 2 cited
Local critical analysis of inequalities related to the sum of distances between n points on the unit hemisphere for $$n=4,5$$
Annals of Mathematics and Artificial Intelligence·2023
page 1 of 8Next →

Frequent Co-authors

Zhengfeng Yang(10), Lei Chen(6), Yu‐Dong Cai(6), Jiahao Chao(5), Hongfan Gao(5), Hongguang Fu(5), Liangyu Chen(5), Changhong Lü(4), Zhou Zhou(4), Tao Huang(4), Andreas Dress(3), Jiali Gong(3), Li‐Yong Shen(3), Ming Xu(3), Zhibin Li(3), Kaiyan Feng(3), Yang Lu(3), Zhongqin Bi(3), Lihui Lai(2), Xiaorong Hou(2)