Zhenbing Zeng
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
33
Venues
20
Active years
1997–2026
Best venue rank
A*
Where they publish
Papers
33 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Tighter Truncated Rectangular Prism Approximation for RNN Robustness Verification. | Xingqi Lin, Liangyu Chen, Min Wu, Min Zhang, Zhenbing Zeng |
| 2025 | IJCAI | FGeo-HyperGNet: Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network. | Xiaokai Zhang, Yang Li, Na Zhu, Cheng Qin, Zhenbing Zeng, Tuo Leng |
| 2024 | DAC | Safe Controller Synthesis for Nonlinear Systems via Reinforcement Learning and PAC Approximation. | Xia Zeng, Banglong Liu, Zhenbing Zeng, Zhiming Liu, Zhengfeng Yang |
| 2024 | DAC | Neural Barrier Certificates Synthesis of NN-Controlled Continuous Systems via Counterexample-Guided Learning. | Hanrui Zhao, Niuniu Qi, Mengxin Ren, Xia Zeng, Zhenbing Zeng, Zhengfeng Yang |
| 2024 | ICTAC | A Quantum-Inspired Mechanical Method for Proving of Ramsey's Theorem by Symbolic Computation over the Finite Field GF(2). | Zhenbing Zeng, Jian Lu, Liangyu Chen |
| 2023 | AAAI | Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers. | Xia Zeng, Zhengfeng Yang, Li Zhang, Xiaochao Tang, Zhenbing Zeng, Zhiming Liu |
| 2023 | CAV | Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints. | Zhengfeng Yang, Li Zhang, Xia Zeng, Xiaochao Tang, Chao Peng, Zhenbing Zeng |
| 2023 | CVPR | 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 |
| 2023 | CVPR | 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 |
| 2023 | DAC | Safe DNN-type Controller Synthesis for Nonlinear Systems via Meta Reinforcement Learning. | Hanrui Zhao, Xia Zeng, Niuniu Qi, Zhengfeng Yang, Zhenbing Zeng |
| 2023 | ICASSP | Kernel Estimation and Deconvolution for Blind Image Super-Resolution. | Jiali Gong, Hongfan Gao, Jiahao Chao, Zhou Zhou, Zhengfeng Yang, Zhenbing Zeng |
| 2023 | IJCAI | A Novel Learnable Interpolation Approach for Scale-Arbitrary Image Super-Resolution. | Jiahao Chao, Zhou Zhou, Hongfan Gao, Jiali Gong, Zhenbing Zeng, Zhengfeng Yang |
| 2022 | ACCV | 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 |
| 2022 | CASC | A Mechanical Method for Isolating Locally Optimal Points of Certain Radical Functions. | Zhenbing Zeng, Yaochen Xu, Yu Chen, Zhengfeng Yang |
| 2022 | ECCV | 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 |
| 2022 | HPCC | Optimized Computation for Determinant of Multivariate Polynomial Matrices on GPGPU. | Liangyu Chen, Jianjun Wei, Zhenbing Zeng, Min Zhang |
| 2022 | ICPR | Robust Training with Feature-Based Adversarial Example. | Xuanming Fu, Zhengfeng Yang, Hao Xue, Jianlin Wang, Zhenbing Zeng |
| 2022 | TASE | Improving Adversarial Robustness of Deep Neural Networks via Linear Programming. | Xiaochao Tang, Zhengfeng Yang, Xuanming Fu, Jianlin Wang, Zhenbing Zeng |
| 2021 | CASC | On Geometric Property of Fermat-Torricelli Points on Sphere. | Zhenbing Zeng, Yu Chen, Xiang Sun, Yuzheng Wang |
| 2021 | CAV | 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 |
| 2021 | HPCC | A Branch-and-Bound Algorithm for Computing the Reliable Isolated Zeros of Multivariate Polynomial Functions Systems. | Cheng Chen, Liangyu Chen, Zhenbing Zeng, Dang Lin |
| 2020 | TASE | A Formal Proof of the Soundness of the Hybrid CPS Clock Theory. | Jianlin Wang, Chao Peng, Zhenbing Zeng |
| 2019 | AAIM | A Probabilistic Algorithm for Verification of Geometric Theorems. | Mingyan Chen, Zhenbing Zeng |
| 2019 | AAIM | On the Structure of Discrete Metric Spaces Isometric to Circles. | Andreas W. M. Dress, Hiroshi Maehara, Sabrina Xing Mei Pang, Zhenbing Zeng |
| 2019 | CASC | Determining the Heilbronn Configuration of Seven Points in Triangles via Symbolic Computation. | Zhenbing Zeng, Liangyu Chen |
| 2019 | ISSAC | On the Number of Congruent Classes of the Tetrahedra Determined by Given Volume, Circumradius and Face Areas. | Zhenbing Zeng, Lu Yang, Lydia Dehbi |
| 2019 | TASE | Multi-Agent Automated Reasoning Toward Machine Self-Awareness: A Case Study. | Zhenbing Zeng, Jianlin Wang, Zhengfeng Yang |
| 2010 | ICCSA | Termination of Loop Programs with Polynomial Guards. | Bin Wu, Liyong Shen, Zhongqin Bi, Zhenbing Zeng |
| 2010 | WALCOM | Real Root Isolation of Multi-Exponential Polynomials with Application. | Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-bin Li |
| 2007 | SAC | Semi-mechanization method for a unsolved optimization problem in combinatorial geometry. | Zhenbing Zeng, Meijing Shan |
| 2007 | SNPD | A new mechanical algorithm for solving system of Volterra integral equation. | Weiming Wang, Zhenbing Zeng, Lu Yang |
| 2005 | ISSAC | An open problem on metric invariants of tetrahedra. | Lu Yang, Zhenbing Zeng |
| 1997 | CADE | A Practical Symbolic Algorithm for the Inverse Kinematics of 6R Manipulators with Simple Geometry. | Lu Yang, Hongguang Fu, Zhenbing Zeng |