Zhenbing Zeng

According to our database, Zhenbing Zeng authored at least 81 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

FGeo-HyperGNet: Geometry Problem Solving Integrating Formal Symbolic System and Hypergraph Neural Network.

Xiaokai Zhang, Na Zhu, Yiming He, Jia Zou, Cheng Qin, Yang Li, Zhenbing Zeng, Tuo Leng

CoRR, 2024

2023

Local critical analysis of inequalities related to the sum of distances between n points on the unit hemisphere for n=4,5.

Yaochen Xu, Zhenbing Zeng, Jian Lu, Yuzheng Wang, Liangyu Chen

Ann. Math. Artif. Intell., December, 2023

FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning.

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

CoRR, 2023

Enhancing Real-Time Super Resolution with Partial Convolution and Efficient Variance Attention.

Zhou Zhou, Jiahao Chao, Jiali Gong, Hongfan Gao, Zhenbing Zeng, Zhengfeng Yang

Proceedings of the 31st ACM International Conference on Multimedia, 2023

A Novel Learnable Interpolation Approach for Scale-Arbitrary Image Super-Resolution.

Jiahao Chao, Zhou Zhou, Hongfan Gao, Jiali Gong, Zhenbing Zeng, Zhengfeng Yang

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Kernel Estimation and Deconvolution for Blind Image Super-Resolution.

Jiali Gong, Hongfan Gao, Jiahao Chao, Zhou Zhou, Zhengfeng Yang, Zhenbing Zeng

Proceedings of the IEEE International Conference on Acoustics, 2023

Safe DNN-type Controller Synthesis for Nonlinear Systems via Meta Reinforcement Learning.

Hanrui Zhao, Xia Zeng, Niuniu Qi, Zhengfeng Yang, Zhenbing Zeng

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

Efficient Deep Models for Real-Time 4K Image Super-Resolution. NTIRE 2023 Benchmark and Report.

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

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

Equivalent Transformation and Dual Stream Network Construction for Mobile Image Super-Resolution.

Jiahao Chao, Zhou Zhou, Hongfan Gao, Jiali Gong, Zhengfeng Yang, Zhenbing Zeng, Lydia Dehbi

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints.

Zhengfeng Yang, Li Zhang, Xia Zeng, Xiaochao Tang, Chao Peng, Zhenbing Zeng

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers.

Xia Zeng, Zhengfeng Yang, Li Zhang, Xiaochao Tang, Zhenbing Zeng, Zhiming Liu

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

The number of tetrahedra sharing the same metric invariants via symbolic and numerical computations.

Lydia Dehbi, Zhenbing Zeng, Lu Yang

J. Symb. Comput., 2022

Heilbronn's Problem of Eight Points in the Square.

Lydia Dehbi, Zhenbing Zeng

J. Syst. Sci. Complex., 2022

Improvement of Oracle Bone Inscription Recognition Accuracy: A Deep Learning Perspective.

Xuanming Fu, Zhengfeng Yang, Zhenbing Zeng, Yidan Zhang, Qianting Zhou

ISPRS Int. J. Geo Inf., 2022

Efficient and Accurate Quantized Image Super-Resolution on Mobile NPUs, Mobile AI & AIM 2022 challenge: Report.

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.

CoRR, 2022

Improving Adversarial Robustness of Deep Neural Networks via Linear Programming.

Xiaochao Tang, Zhengfeng Yang, Xuanming Fu, Jianlin Wang, Zhenbing Zeng

Proceedings of the Theoretical Aspects of Software Engineering, 2022

Robust Training with Feature-Based Adversarial Example.

Xuanming Fu, Zhengfeng Yang, Hao Xue, Jianlin Wang, Zhenbing Zeng

Proceedings of the 26th International Conference on Pattern Recognition, 2022

Optimized Computation for Determinant of Multivariate Polynomial Matrices on GPGPU.

Liangyu Chen, Jianjun Wei, Zhenbing Zeng, Min Zhang

Proceedings of the 24th IEEE Int Conf on High Performance Computing & Communications; 8th Int Conf on Data Science & Systems; 20th Int Conf on Smart City; 8th Int Conf on Dependability in Sensor, 2022

Efficient and Accurate Quantized Image Super-Resolution on Mobile NPUs, Mobile AI & AIM 2022 Challenge: Report.

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

Proceedings of the Computer Vision - ECCV 2022 Workshops, 2022

A Mechanical Method for Isolating Locally Optimal Points of Certain Radical Functions.

Zhenbing Zeng, Yaochen Xu, Yu Chen, Zhengfeng Yang

Proceedings of the Computer Algebra in Scientific Computing - 24th International Workshop, 2022

An RNN-Based Framework for the MILP Problem in Robustness Verification of Neural Networks.

Hao Xue, Xia Zeng, Wang Lin, Zhengfeng Yang, Chao Peng, Zhenbing Zeng

Proceedings of the Computer Vision - ACCV 2022, 2022

2021

Maximizing the Sum of the Distances between Four Points on the Unit Hemisphere.

Zhenbing Zeng, Jian Lu, Yaochen Xu, Yuzheng Wang

Proceedings of the 13th International Conference on Automated Deduction in Geometry, 2021

A Branch-and-Bound Algorithm for Computing the Reliable Isolated Zeros of Multivariate Polynomial Functions Systems.

Cheng Chen, Liangyu Chen, Zhenbing Zeng, Dang Lin

Proceedings of the 2021 IEEE 23rd Int Conf on High Performance Computing & Communications; 7th Int Conf on Data Science & Systems; 19th Int Conf on Smart City; 7th Int Conf on Dependability in Sensor, 2021

An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation.

Zhengfeng Yang, Yidan Zhang, Wang Lin, Xia Zeng, Xiaochao Tang, Zhenbing Zeng, Zhiming Liu

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

On Geometric Property of Fermat-Torricelli Points on Sphere.

Zhenbing Zeng, Yu Chen, Xiang Sun, Yuzheng Wang

Proceedings of the Computer Algebra in Scientific Computing - 23rd International Workshop, 2021

2020

A Formal Proof of the Soundness of the Hybrid CPS Clock Theory.

Jianlin Wang, Chao Peng, Zhenbing Zeng

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

An Isometric Embedding of the Impossible Triangle into the Euclidean Space of Lowest Dimension.

Zhenbing Zeng, Yaochen Xu, Zhengfeng Yang, Zhi-Bin Li

Proceedings of the Maple in Mathematics Education and Research - 4th Maple Conference, 2020

A Maple Exploration of Problem 6 of the IMO 88.

Zhenbing Zeng, Xiang Sun, Yong Huang, Yaochen Xu, Xiaoru Chen, Lu Yang

Proceedings of the Maple in Mathematics Education and Research - 4th Maple Conference, 2020

2019

Multi-Agent Automated Reasoning Toward Machine Self-Awareness: A Case Study.

Zhenbing Zeng, Jianlin Wang, Zhengfeng Yang

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

A Heilbronn Type Inequality for Plane Nonagons.

Zhenbing Zeng, Jian Lu, Lydia Dehbi, Liangyu Chen, Jianlin Wang

Proceedings of the Maple in Mathematics Education and Research - Third Maple Conference, 2019

The Fermat-Torricelli Problem of Triangles on the Sphere with Euclidean Metric: A Symbolic Solution with Maple.

Xiaofeng Guo, Tuo Leng, Zhenbing Zeng

Proceedings of the Maple in Mathematics Education and Research - Third Maple Conference, 2019

On the Number of Congruent Classes of the Tetrahedra Determined by Given Volume, Circumradius and Face Areas.

Zhenbing Zeng, Lu Yang, Lydia Dehbi

Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, 2019

Determining the Heilbronn Configuration of Seven Points in Triangles via Symbolic Computation.

Zhenbing Zeng, Liangyu Chen

Proceedings of the Computer Algebra in Scientific Computing - 21st International Workshop, 2019

On the Structure of Discrete Metric Spaces Isometric to Circles.

Andreas W. M. Dress, Hiroshi Maehara, Sabrina Xing Mei Pang, Zhenbing Zeng

Proceedings of the Algorithmic Aspects in Information and Management, 2019

A Probabilistic Algorithm for Verification of Geometric Theorems.

Mingyan Chen, Zhenbing Zeng

Proceedings of the Algorithmic Aspects in Information and Management, 2019

2018

Computing Sparse GCD of Multivariate Polynomials via Polynomial Interpolation.

Min Tang, Bingyu Li, Zhenbing Zeng

J. Syst. Sci. Complex., 2018

2017

Searching approximate global optimal Heilbronn configurations of nine points in the unit square via GPGPU computing.

Liangyu Chen, Yaochen Xu, Zhenbing Zeng

J. Glob. Optim., 2017

Verification for Non-polynomial Hybrid Systems Using Rational Invariants.

Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng

Comput. J., 2017

Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation.

Xia Zeng, Wang Lin, Zhengfeng Yang, Zhenbing Zeng

Sci. China Inf. Sci., 2017

2016

Analyzing ultimate positivity for solvable systems.

Ming Xu, Cheng-Chao Huang, Zhi-Bin Li, Zhenbing Zeng

Theor. Comput. Sci., 2016

Resultant elimination via implicit equation interpolation.

Min Tang, Zhengfeng Yang, Zhenbing Zeng

J. Syst. Sci. Complex., 2016

2015

初等函数可验证赋值及误差分析 (Validated Evaluation and Error Analysis of Elementary Functions).

Jian Liu, Min Tang, Xia Zeng, Zhenbing Zeng

计算机科学, 2015

Graphs with unique minimum paired-dominating set.

Lei Chen, Changhong Lu, Zhenbing Zeng

Ars Comb., 2015

2014

An upper bound of Heilbronn number for eight points in triangles.

Liangyu Chen, Zhenbing Zeng, Wei Zhou

J. Comb. Optim., 2014

Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods.

Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng

Frontiers Comput. Sci., 2014

Exact safety verification of hybrid systems using sums-of-squares representation.

Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng

Sci. China Inf. Sci., 2014

Safety verification of nonlinear systems based on rational invariants.

Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng

Proceedings of the Symbolic-Numeric Computation 2014, 2014

2013

Generating exact nonlinear ranking functions by symbolic-numeric hybrid method.

Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng

J. Syst. Sci. Complex., 2013

Parallel computation of determinants of matrices with multivariate polynomial entries.

Liangyu Chen, Zhenbing Zeng

Sci. China Inf. Sci., 2013

2012

Vertices in all minimum paired-dominating sets of block graphs.

Lei Chen, Changhong Lu, Zhenbing Zeng

J. Comb. Optim., 2012

Differential elimination with Dixon resultants.

Lu Yang, Zhenbing Zeng, Weinian Zhang

Appl. Math. Comput., 2012

Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations.

Liangyu Chen, Tuo Leng, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng

Proceedings of the Computer Mathematics, 2012

2011

Generating Loop Invariants by Computing Vanishing Ideals of Sample Points

Bin Wu, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng

CoRR, 2011

2010

A Heuristic Approach to Positive Root Isolation for Multiple Power Sums.

Ming Xu, Chuandong Mu, Zhenbing Zeng, Zhi-bin Li

J. Univers. Comput. Sci., 2010

Labelling algorithms for paired-domination problems in block and interval graphs.

Lei Chen, Changhong Lu, Zhenbing Zeng

J. Comb. Optim., 2010

Reachability analysis of rational eigenvalue linear systems.

Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-bin Li

Int. J. Syst. Sci., 2010

Termination Analysis of Linear Loops.

Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-Bin Li

Int. J. Found. Comput. Sci., 2010

Real Root Isolation of Multi-Exponential Polynomials with Application.

Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-bin Li

Proceedings of the WALCOM: Algorithms and Computation, 4th International Workshop, 2010

Termination of Loop Programs with Polynomial Guards.

Bin Wu, Liyong Shen, Zhongqin Bi, Zhenbing Zeng

Proceedings of the Computational Science and Its Applications, 2010

2009

Distance paired-domination problems on subclasses of chordal graphs.

Lei Chen, Changhong Lu, Zhenbing Zeng

Theor. Comput. Sci., 2009

Hardness results and approximation algorithms for (weighted) paired-domination in graphs.

Lei Chen, Changhong Lu, Zhenbing Zeng

Theor. Comput. Sci., 2009

Multiple classifier integration for the prediction of protein structural classes.

Lei Chen, Lin Lu, Kairui Feng, Wenjin Li, Jie Song, Lulu Zheng, Youlang Yuan, Zhenbing Zeng, Kai-Yan Feng, Wen-Cong Lu, Yudong Cai

J. Comput. Chem., 2009

A linear-time algorithm for paired-domination problem in strongly chordal graphs.

Lei Chen, Changhong Lu, Zhenbing Zeng

Inf. Process. Lett., 2009

Finding positively invariant sets of a class of nonlinear loops via curve fitting.

Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng

Proceedings of the Symbolic Numeric Computation, 2009

On the Best Bezier Approximation of Ellipses.

Zhenbing Zeng, Liangyu Chen

Proceedings of the Second International Joint Conference on Computational Sciences and Optimization, 2009

2008

A New Mechanical Algorithm for Solving System of Fredholm Integral Equation Using Resolvent Method.

Weiming Wang, Yezhi Lin, Zhenbing Zeng

Proceedings of the Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues, 2008

On the Heilbronn Optimal Configuration of Seven Points in the Square.

Zhenbing Zeng, Liangyu Chen

Proceedings of the Automated Deduction in Geometry - 7th International Workshop, 2008

2007

Solution to the Generalized Champagne Problem on simultaneous stabilization of linear systems.

Qiang Guan, Long Wang, Bican Xia, Lu Yang, Wensheng Yu, Zhenbing Zeng

Sci. China Ser. F Inf. Sci., 2007

A new mechanical algorithm for solving system of Volterra integral equation.

Weiming Wang, Zhenbing Zeng, Lu Yang

Proceedings of the 8th ACIS International Conference on Software Engineering, 2007

Semi-mechanization method for a unsolved optimization problem in combinatorial geometry.

Zhenbing Zeng, Meijing Shan

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Machine Cognition and Learning Based on Interactive Symbolic Computation.

Guangxi Chen, Zhenbing Zeng, Zhongqin Bi

Proceedings of the 2007 International Conference on Intelligent Pervasive Computing, 2007

Which Symmetric Homogeneous Polynomials Can Be Proved Positive Semi-definite by Difference Substitution Method?.

Liangyu Chen, Zhenbing Zeng

Proceedings of the Computer Mathematics, 8th Asian Symposium, 2007

2006

Automated and readable simplification of trigonometric expressions.

Hongguang Fu, Xiuqin Zhong, Zhenbing Zeng

Math. Comput. Model., 2006

Constructing a Tetrahedron with Prescribed Heights and Widths.

Lu Yang, Zhenbing Zeng

Proceedings of the Automated Deduction in Geometry, 2006

2005

Image Retrieval Based on Salient Points from DCT Domain.

Wenyin Zhang, Zhenli Nie, Zhenbing Zeng

Proceedings of the MICAI 2005: Advances in Artificial Intelligence, 2005

An open problem on metric invariants of tetrahedra.

Lu Yang, Zhenbing Zeng

Proceedings of the Symbolic and Algebraic Computation, 2005

Automatic Generation of Mathematical Expressions of Printed Chinese Characters.

Jinzhao Wu, Wenyin Zhang, Zhenbing Zeng

Proceedings of the IASTED International Conference on Computational Intelligence, 2005

2004

Symbolic Solution of a Piano Movers' Problem with Four Parameters.

Lu Yang, Zhenbing Zeng

Proceedings of the Automated Deduction in Geometry, 5th International Workshop, 2004

2003

Mathematics Education over the Internet Based on Vega Grid Technology.

Zhiwei Xu, Wei Li, Hongguang Fu, Zhenbing Zeng

Int. J. Distance Educ. Technol., 2003

2002

The Vega Grid and Grid-Based Education.

Zhiwei Xu, Wei Li, Hongguang Fu, Zhenbing Zeng

Proceedings of the Advances in Web-Based Learning, First International Conference, 2002

1997

A Practical Symbolic Algorithm for the Inverse Kinematics of 6R Manipulators with Simple Geometry.

Lu Yang, Hongguang Fu, Zhenbing Zeng

Proceedings of the Automated Deduction, 1997