Zhenbing Zeng

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 41

Top Topics

Reinforcement Learning

Euclidean Metric

Top Venues

Publications

Xiaokai Zhang, Na Zhu, Yiming He, Jia Zou, Cheng Qin, Yang Li, Zhenbing Zeng, Tuo Leng
FGeo-HyperGNet: Geometry Problem Solving Integrating Formal Symbolic System and Hypergraph Neural Network. CoRR (2024)
Jiahao Chao, Zhou Zhou, Hongfan Gao, Jiali Gong, Zhenbing Zeng, Zhengfeng Yang
A Novel Learnable Interpolation Approach for Scale-Arbitrary Image Super-Resolution. IJCAI (2023)
Marcos V. Conde, Eduard Zamfir, Radu Timofte, Daniel Motilla, Cen Liu, Zexin Zhang, Yunbo Peng, Yue Lin, Jiaming Guo, Xueyi Zou, Yuyi Chen, Yi Liu, Jia Hao, Youliang Yan, Yuanfan Zhang, Gen Li, Lei Sun, Lingshun Kong, Haoran Bai, Jinshan Pan, Jiangxin Dong, Jinhui Tang, Mustafa Ayazoglu, Bahri Batuhan Bilecen, Mingxi Li, Yuhang Zhang, Xianjun Fan, Yankai Sheng, Long Sun, Zibin Liu, Weiran Gou, Shaoqing Li, Ziyao Yi, Yan Xiang, Dehui Kong, Ke Xu, Ganzorig Gankhuyag, Kihwan Yoon, Jin Zhang, Gaocheng Yu, Feng Zhang, Hongbin Wang, Zhou Zhou, Jiahao Chao, Hongfan Gao, Jiali Gong, Zhengfeng Yang, Zhenbing Zeng, Chengpeng Chen, Zichao Guo, Anjin Park, Yuqing Liu, Qi Jia, Hongyuan Yu, Xuanwu Yin, Dongyang Zhang, Ting Fu, Zhengxue Cheng, Shiai Zhu, Dajiang Zhou, Weichen Yu, Lin Ge, Jiahua Dong, Yajun Zou, Zhuoyuan Wu, Binnan Han, Xiaolin Zhang, Heng Zhang, Ben Shao, Shaolong Zheng, Daheng Yin, Baijun Chen, Mengyang Liu, Marian-Sergiu Nistor, Yi-Chung Chen, Zhi-Kai Huang, Yuan-Chun Chiang, Wei-Ting Chen, Hao-Hsiang Yang, Hua-En Chang, I-Hsiang Chen, Chia-Hsuan Hsieh, Sy-Yen Kuo, Tu Vo, Qingsen Yan, Yun Zhu, Jinqiu Su, Yanning Zhang, Cheng Zhang, Jiaying Luo, Youngsun Cho, Nakyung Lee, Kunlong Zuo
Efficient Deep Models for Real-Time 4K Image Super-Resolution. NTIRE 2023 Benchmark and Report. CVPR Workshops (2023)
Jiali Gong, Hongfan Gao, Jiahao Chao, Zhou Zhou, Zhengfeng Yang, Zhenbing Zeng
Kernel Estimation and Deconvolution for Blind Image Super-Resolution. ICASSP (2023)
Zhengfeng Yang, Li Zhang, Xia Zeng, Xiaochao Tang, Chao Peng, Zhenbing Zeng
Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints. CAV (1) (2023)
Xia Zeng, Zhengfeng Yang, Li Zhang, Xiaochao Tang, Zhenbing Zeng, Zhiming Liu
Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers. AAAI (2023)
Yaochen Xu, Zhenbing Zeng, Jian Lu, Yuzheng Wang, Liangyu Chen
Local critical analysis of inequalities related to the sum of distances between n points on the unit hemisphere for n=4,5. Ann. Math. Artif. Intell. 91 (6) (2023)
Jiahao Chao, Zhou Zhou, Hongfan Gao, Jiali Gong, Zhengfeng Yang, Zhenbing Zeng, Lydia Dehbi
Equivalent Transformation and Dual Stream Network Construction for Mobile Image Super-Resolution. CVPR (2023)
Hanrui Zhao, Xia Zeng, Niuniu Qi, Zhengfeng Yang, Zhenbing Zeng
Safe DNN-type Controller Synthesis for Nonlinear Systems via Meta Reinforcement Learning. DAC (2023)
Zhou Zhou, Jiahao Chao, Jiali Gong, Hongfan Gao, Zhenbing Zeng, Zhengfeng Yang
Enhancing Real-Time Super Resolution with Partial Convolution and Efficient Variance Attention. ACM Multimedia (2023)
Xiaokai Zhang, Na Zhu, Yiming He, Jia Zou, Qike Huang, Xiaoxiao Jin, Yanjun Guo, Chenyang Mao, Zhe Zhu, Dengfeng Yue, Fangzhen Zhu, Yang Li, Yifan Wang, Yiwen Huang, Runan Wang, Cheng Qin, Zhenbing Zeng, Shaorong Xie, Xiangfeng Luo, Tuo Leng
FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning. CoRR (2023)
Liangyu Chen, Jianjun Wei, Zhenbing Zeng, Min Zhang
Optimized Computation for Determinant of Multivariate Polynomial Matrices on GPGPU. HPCC/DSS/SmartCity/DependSys (2022)
Hao Xue, Xia Zeng, Wang Lin, Zhengfeng Yang, Chao Peng, Zhenbing Zeng
An RNN-Based Framework for the MILP Problem in Robustness Verification of Neural Networks. ACCV (1) (2022)
Zhenbing Zeng, Yaochen Xu, Yu Chen, Zhengfeng Yang
A Mechanical Method for Isolating Locally Optimal Points of Certain Radical Functions. CASC (2022)
Xiaochao Tang, Zhengfeng Yang, Xuanming Fu, Jianlin Wang, Zhenbing Zeng
Improving Adversarial Robustness of Deep Neural Networks via Linear Programming. TASE (2022)
Lydia Dehbi, Zhenbing Zeng, Lu Yang
The number of tetrahedra sharing the same metric invariants via symbolic and numerical computations. J. Symb. Comput. 108 (2022)
Lydia Dehbi, Zhenbing Zeng
Heilbronn's Problem of Eight Points in the Square. J. Syst. Sci. Complex. 35 (6) (2022)
Andrey Ignatov, Radu Timofte, Maurizio Denna, Abdel Younes, Ganzorig Gankhuyag, Jingang Huh, Myeong Kyun Kim, Kihwan Yoon, Hyeon-Cheol Moon, Seungho Lee, Yoonsik Choe, Jinwoo Jeong, Sungjei Kim, Maciej Smyl, Tomasz Latkowski, Pawel Kubik, Michal Sokolski, Yujie Ma, Jiahao Chao, Zhou Zhou, Hongfan Gao, Zhengfeng Yang, Zhenbing Zeng, Zhengyang Zhuge, Chenghua Li, Dan Zhu, Mengdi Sun, Ran Duan, Yan Gao, Lingshun Kong, Long Sun, Xiang Li, Xingdong Zhang, Jiawei Zhang, Yaqi Wu, Jinshan Pan, Gaocheng Yu, Jin Zhang, Feng Zhang, Zhe Ma, Hongbin Wang, Hojin Cho, Steve Kim, Huaen Li, Yanbo Ma, Ziwei Luo, Youwei Li, Lei Yu, Zhihong Wen, Qi Wu, Haoqiang Fan, Shuaicheng Liu, Lize Zhang, Zhikai Zong, Jeremy Kwon, Junxi Zhang, Mengyuan Li, Nianxiang Fu, Guanchen Ding, Han Zhu, Zhenzhong Chen, Gen Li, Yuanfan Zhang, et al.
Efficient and Accurate Quantized Image Super-Resolution on Mobile NPUs, Mobile AI & AIM 2022 challenge: Report. CoRR (2022)
Andrey Ignatov, Radu Timofte, Maurizio Denna, Abdel Younes, Ganzorig Gankhuyag, Jingang Huh, Myeong Kyun Kim, Kihwan Yoon, Hyeon-Cheol Moon, Seungho Lee, Yoonsik Choe, Jinwoo Jeong, Sungjei Kim, Maciej Smyl, Tomasz Latkowski, Pawel Kubik, Michal Sokolski, Yujie Ma, Jiahao Chao, Zhou Zhou, Hongfan Gao, Zhengfeng Yang, Zhenbing Zeng, Zhengyang Zhuge, Chenghua Li, Dan Zhu, Mengdi Sun, Ran Duan, Yan Gao, Lingshun Kong, Long Sun, Xiang Li, Xingdong Zhang, Jiawei Zhang, Yaqi Wu, Jinshan Pan, Gaocheng Yu, Jin Zhang, Feng Zhang, Zhe Ma, Hongbin Wang, Hojin Cho, Steve Kim, Huaen Li, Yanbo Ma, Ziwei Luo, Youwei Li, Lei Yu, Zhihong Wen, Qi Wu, Haoqiang Fan, Shuaicheng Liu, Lize Zhang, Zhikai Zong, Jeremy Kwon, Junxi Zhang, Mengyuan Li, Nianxiang Fu, Guanchen Ding, Han Zhu, Zhenzhong Chen, Gen Li, Yuanfan Zhang, Lei Sun, Dafeng Zhang, Neo Yang, Fitz Liu, Jerry Zhao, Mustafa Ayazoglu, Bahri Batuhan Bilecen, Shota Hirose, Kasidis Arunruangsirilert, Luo Ao, Ho Chun Leung, Andrew Wei, Jie Liu, Qiang Liu, Dahai Yu, Ao Li, Lei Luo, Ce Zhu, Seongmin Hong, Dongwon Park, Joonhee Lee, Byeong Hyun Lee, Seunggyu Lee, Se Young Chun, Ruiyuan He, Xuhao Jiang, Haihang Ruan, Xinjian Zhang, Jing Liu, Garas Gendy, Nabil Sabor, Jingchao Hou, Guanghui He
Efficient and Accurate Quantized Image Super-Resolution on Mobile NPUs, Mobile AI & AIM 2022 Challenge: Report. ECCV Workshops (3) (2022)
Zhenbing Zeng, Jian Lu, Yaochen Xu, Yuzheng Wang
Maximizing the Sum of the Distances between Four Points on the Unit Hemisphere. CoRR (2022)
Xuanming Fu, Zhengfeng Yang, Hao Xue, Jianlin Wang, Zhenbing Zeng
Robust Training with Feature-Based Adversarial Example. ICPR (2022)
Xuanming Fu, Zhengfeng Yang, Zhenbing Zeng, Yidan Zhang, Qianting Zhou
Improvement of Oracle Bone Inscription Recognition Accuracy: A Deep Learning Perspective. ISPRS Int. J. Geo Inf. 11 (1) (2022)
Zhenbing Zeng, Yu Chen, Xiang Sun, Yuzheng Wang
On Geometric Property of Fermat-Torricelli Points on Sphere. CASC (2021)
Cheng Chen, Liangyu Chen, Zhenbing Zeng, Dang Lin
A Branch-and-Bound Algorithm for Computing the Reliable Isolated Zeros of Multivariate Polynomial Functions Systems. HPCC/DSS/SmartCity/DependSys (2021)
Zhengfeng Yang, Yidan Zhang, Wang Lin, Xia Zeng, Xiaochao Tang, Zhenbing Zeng, Zhiming Liu
An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation. CAV (1) (2021)
Zhenbing Zeng, Yaochen Xu, Zhengfeng Yang, Zhi-Bin Li
An Isometric Embedding of the Impossible Triangle into the Euclidean Space of Lowest Dimension. MC (2020)
Jianlin Wang, Chao Peng, Zhenbing Zeng
A Formal Proof of the Soundness of the Hybrid CPS Clock Theory. TASE (2020)
Zhenbing Zeng, Xiang Sun, Yong Huang, Yaochen Xu, Xiaoru Chen, Lu Yang
A Maple Exploration of Problem 6 of the IMO 88. MC (2020)
Zhenbing Zeng, Jianlin Wang, Zhengfeng Yang
Multi-Agent Automated Reasoning Toward Machine Self-Awareness: A Case Study. TASE (2019)
Xiaofeng Guo, Tuo Leng, Zhenbing Zeng
The Fermat-Torricelli Problem of Triangles on the Sphere with Euclidean Metric: A Symbolic Solution with Maple. MC (2019)
Mingyan Chen, Zhenbing Zeng
A Probabilistic Algorithm for Verification of Geometric Theorems. AAIM (2019)
Zhenbing Zeng, Lu Yang, Lydia Dehbi
On the Number of Congruent Classes of the Tetrahedra Determined by Given Volume, Circumradius and Face Areas. ISSAC (2019)
Andreas W. M. Dress, Hiroshi Maehara, Sabrina Xing Mei Pang, Zhenbing Zeng
On the Structure of Discrete Metric Spaces Isometric to Circles. AAIM (2019)
Zhenbing Zeng, Liangyu Chen
Determining the Heilbronn Configuration of Seven Points in Triangles via Symbolic Computation. CASC (2019)
Zhenbing Zeng, Jian Lu, Lydia Dehbi, Liangyu Chen, Jianlin Wang
A Heilbronn Type Inequality for Plane Nonagons. MC (2019)
Min Tang, Bingyu Li, Zhenbing Zeng
Computing Sparse GCD of Multivariate Polynomials via Polynomial Interpolation. J. Syst. Sci. Complex. 31 (2) (2018)
Liangyu Chen, Yaochen Xu, Zhenbing Zeng
Searching approximate global optimal Heilbronn configurations of nine points in the unit square via GPGPU computing. J. Glob. Optim. 68 (1) (2017)
Xia Zeng, Wang Lin, Zhengfeng Yang, Zhenbing Zeng
Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation. Sci. China Inf. Sci. 60 (3) (2017)
Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng
Verification for Non-polynomial Hybrid Systems Using Rational Invariants. Comput. J. 60 (5) (2017)
Ming Xu, Cheng-Chao Huang, Zhi-Bin Li, Zhenbing Zeng
Analyzing ultimate positivity for solvable systems. Theor. Comput. Sci. 609 (2016)
Min Tang, Zhengfeng Yang, Zhenbing Zeng
Resultant elimination via implicit equation interpolation. J. Syst. Sci. Complex. 29 (5) (2016)
Jian Liu, Min Tang, Xia Zeng, Zhenbing Zeng
初等函数可验证赋值及误差分析 (Validated Evaluation and Error Analysis of Elementary Functions). 计算机科学 42 (4) (2015)
Lei Chen, Changhong Lu, Zhenbing Zeng
Graphs with unique minimum paired-dominating set. Ars Comb. 119 (2015)
Liangyu Chen, Zhenbing Zeng, Wei Zhou
An upper bound of Heilbronn number for eight points in triangles. J. Comb. Optim. 28 (4) (2014)
Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng
Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods. Frontiers Comput. Sci. 8 (2) (2014)
Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng
Safety verification of nonlinear systems based on rational invariants. SNC (2014)
Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng
Exact safety verification of hybrid systems using sums-of-squares representation. Sci. China Inf. Sci. 57 (5) (2014)
Liangyu Chen, Zhenbing Zeng
Parallel computation of determinants of matrices with multivariate polynomial entries. Sci. China Inf. Sci. 56 (11) (2013)
Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng
Generating exact nonlinear ranking functions by symbolic-numeric hybrid method. J. Syst. Sci. Complex. 26 (2) (2013)
Liangyu Chen, Tuo Leng, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng
Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations. ASCM (2012)
Lei Chen, Changhong Lu, Zhenbing Zeng
Vertices in all minimum paired-dominating sets of block graphs. J. Comb. Optim. 24 (3) (2012)
Lu Yang, Zhenbing Zeng, Weinian Zhang
Differential elimination with Dixon resultants. Appl. Math. Comput. 218 (21) (2012)
Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng
Exact Safety Verification of Hybrid Systems Using Sums-Of-Squares Representation CoRR (2011)
Bin Wu, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng
Generating Loop Invariants by Computing Vanishing Ideals of Sample Points CoRR (2011)
Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-Bin Li
Termination Analysis of Linear Loops. Int. J. Found. Comput. Sci. 21 (6) (2010)
Ming Xu, Chuandong Mu, Zhenbing Zeng, Zhi-bin Li
A Heuristic Approach to Positive Root Isolation for Multiple Power Sums. J. Univers. Comput. Sci. 16 (14) (2010)
Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-bin Li
Real Root Isolation of Multi-Exponential Polynomials with Application. WALCOM (2010)
Bin Wu, Liyong Shen, Zhongqin Bi, Zhenbing Zeng
Termination of Loop Programs with Polynomial Guards. ICCSA (4) (2010)
Lei Chen, Changhong Lu, Zhenbing Zeng
Labelling algorithms for paired-domination problems in block and interval graphs. J. Comb. Optim. 19 (4) (2010)
Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-bin Li
Reachability analysis of rational eigenvalue linear systems. Int. J. Syst. Sci. 41 (12) (2010)
Lei Chen, Lin Lu, Kairui Feng, Wenjin Li, Jie Song, Lulu Zheng, Youlang Yuan, Zhenbing Zeng, Kai-Yan Feng, Wen-Cong Lu, Yudong Cai
Multiple classifier integration for the prediction of protein structural classes. J. Comput. Chem. 30 (14) (2009)
Lei Chen, Changhong Lu, Zhenbing Zeng
A linear-time algorithm for paired-domination problem in strongly chordal graphs. Inf. Process. Lett. 110 (1) (2009)
Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng
Finding positively invariant sets of a class of nonlinear loops via curve fitting. SNC (2009)
Lei Chen, Changhong Lu, Zhenbing Zeng
Hardness results and approximation algorithms for (weighted) paired-domination in graphs. Theor. Comput. Sci. 410 (47-49) (2009)
Zhenbing Zeng, Liangyu Chen
On the Best Bezier Approximation of Ellipses. CSO (2) (2009)
Lei Chen, Changhong Lu, Zhenbing Zeng
Distance paired-domination problems on subclasses of chordal graphs. Theor. Comput. Sci. 410 (47-49) (2009)
Weiming Wang, Yezhi Lin, Zhenbing Zeng
A New Mechanical Algorithm for Solving System of Fredholm Integral Equation Using Resolvent Method. ICIC (1) (2008)
Zhenbing Zeng, Liangyu Chen
On the Heilbronn Optimal Configuration of Seven Points in the Square. Automated Deduction in Geometry (2008)
Qiang Guan, Long Wang, Bican Xia, Lu Yang, Wensheng Yu, Zhenbing Zeng
Solution to the Generalized Champagne Problem on simultaneous stabilization of linear systems. Sci. China Ser. F Inf. Sci. 50 (5) (2007)
Zhenbing Zeng, Meijing Shan
Semi-mechanization method for a unsolved optimization problem in combinatorial geometry. SAC (2007)
Guangxi Chen, Zhenbing Zeng, Zhongqin Bi
Machine Cognition and Learning Based on Interactive Symbolic Computation. IPC (2007)
Liangyu Chen, Zhenbing Zeng
Which Symmetric Homogeneous Polynomials Can Be Proved Positive Semi-definite by Difference Substitution Method?. ASCM (2007)
Weiming Wang, Zhenbing Zeng, Lu Yang
A new mechanical algorithm for solving system of Volterra integral equation. SNPD (3) (2007)
Lu Yang, Zhenbing Zeng
Constructing a Tetrahedron with Prescribed Heights and Widths. Automated Deduction in Geometry (2006)
Hongguang Fu, Xiuqin Zhong, Zhenbing Zeng
Automated and readable simplification of trigonometric expressions. Math. Comput. Model. 44 (11-12) (2006)
Jinzhao Wu, Wenyin Zhang, Zhenbing Zeng
Automatic Generation of Mathematical Expressions of Printed Chinese Characters. Computational Intelligence (2005)
Lu Yang, Zhenbing Zeng
An open problem on metric invariants of tetrahedra. ISSAC (2005)
Wenyin Zhang, Zhenli Nie, Zhenbing Zeng
Image Retrieval Based on Salient Points from DCT Domain. MICAI (2005)
Lu Yang, Zhenbing Zeng
Symbolic Solution of a Piano Movers' Problem with Four Parameters. Automated Deduction in Geometry (2004)
Zhiwei Xu, Wei Li, Hongguang Fu, Zhenbing Zeng
Mathematics Education over the Internet Based on Vega Grid Technology. Int. J. Distance Educ. Technol. 1 (3) (2003)
Zhiwei Xu, Wei Li, Hongguang Fu, Zhenbing Zeng
The Vega Grid and Grid-Based Education. ICWL (2002)
Lu Yang, Hongguang Fu, Zhenbing Zeng
A Practical Symbolic Algorithm for the Inverse Kinematics of 6R Manipulators with Simple Geometry. CADE (1997)