Zhengfeng Yang

Publication Activity (10 Years)

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

Top Topics

Sponsored Search

Utility Maximization

Recognition Accuracy

Top Venues

ACM Trans. Embed. Comput. Syst.

J. Syst. Sci. Complex.

Publications

Changfeng Xu, Chao Peng, Chenyang Xu, Zhengfeng Yang
Sponsored Search Auction Design Beyond Single Utility Maximization. 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)
Chao Peng, Yiming Guo, Yao Chen, Qilin Rui, Zhengfeng Yang, Chenyang Xu
FedGM: Heterogeneous Federated Learning via Generative Learning and Mutual Distillation. Euro-Par (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)
Zhengfeng Yang, Hanrui Zhao, Lihong Zhi
VerifyRealRoots: A Matlab Package for Computing Verified Real Solutions of Polynomials Systems of Equations and Inequalities. J. Syst. Sci. Complex. 36 (2) (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)
Hanrui Zhao, Niuniu Qi, Lydia Dehbi, Xia Zeng, Zhengfeng Yang
Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning. ACM Trans. Embed. Comput. Syst. 22 (5s) (2023)
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)
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)
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)
Wang Lin, Zhengfeng Yang, Zuohua Ding
Reachable Set Estimation and Safety Verification of Nonlinear Systems via Iterative Sums of Squares Programming. J. Syst. Sci. Complex. 35 (3) (2022)
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)
Meng Sha, Xin Chen, Yuzhe Ji, Qingye Zhao, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li
Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations. DAC (2021)
Qingye Zhao, Xin Chen, Yifan Zhang, Meng Sha, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li
Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems. HSCC (2021)
Xin Chen, Chao Peng, Wang Lin, Zhengfeng Yang, Yifang Zhang, Xuandong Li
A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation. CAV (1) (2020)
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)
Chang Liu, Wang Lin, Zhengfeng Yang
Generating Adversarial Texts for Recurrent Neural Networks. ICANN (1) (2020)
Cheng He, Chao Peng, Na Li, Xiang Chen, Zhengfeng Yang, Zhenhao Hu
CIFEF: Combining Implicit and Explicit Features for Friendship Inference in Location-Based Social Networks. KSEM (2) (2020)
Zhenbing Zeng, Jianlin Wang, Zhengfeng Yang
Multi-Agent Automated Reasoning Toward Machine Self-Awareness: A Case Study. TASE (2019)
Wang Lin, Zhengfeng Yang, Xin Chen, Qingye Zhao, Xiangkun Li, Zhiming Liu, Jifeng He
Robustness Verification of Classification Deep Neural Networks via Linear Programming. CVPR (2019)
Li-Yong Shen, Sonia Pérez-Díaz, Zhengfeng Yang
Numerical Proper Reparametrization of Space Curves and Surfaces. Comput. Aided Des. 116 (2019)
Wenjun Du, Zhengfeng Yang, Huibiao Zhu
A Fully Abstract Encoding for Sub Asynchronous Pi Calculus. TASE (2018)
Erdal Imamoglu, Erich L. Kaltofen, Zhengfeng Yang
Sparse Polynomial Interpolation With Arbitrary Orthogonal Polynomial Bases. ISSAC (2018)
Yifan Zhang, Zhengfeng Yang, Wang Lin, Huibiao Zhu, Xin Chen, Xuandong Li
Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
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)
Chao Huang, Xin Chen, Wang Lin, Zhengfeng Yang, Xuandong Li
Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Zhengfeng Yang, Chao Huang, Xin Chen, Wang Lin, Zhiming Liu
A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems. FM (2016)
Erich L. Kaltofen, Zhengfeng Yang
Sparse multivariate function recovery with a small number of evaluations. J. Symb. Comput. 75 (2016)
Xia Zeng, Wang Lin, Zhengfeng Yang, Xin Chen, Lilei Wang
Darboux-type barrier certificates for safety verification of nonlinear hybrid systems. EMSOFT (2016)
Min Tang, Zhengfeng Yang, Zhenbing Zeng
Resultant elimination via implicit equation interpolation. J. Syst. Sci. Complex. 29 (5) (2016)
Zhengfeng Yang, Wang Lin, Min Wu
Exact Safety Verification of Hybrid Systems Based on Bilinear SOS Representation. ACM Trans. Embed. Comput. Syst. 14 (1) (2015)
Min Wu, Zhengfeng Yang, Wang Lin
Domain-of-attraction estimation for uncertain non-polynomial systems. Commun. Nonlinear Sci. Numer. Simul. 19 (9) (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)
Erich L. Kaltofen, Zhengfeng Yang
Sparse multivariate function recovery with a high error rate in the evaluations. ISSAC (2014)
Zhengfeng Yang, Min Wu, Wang Lin
Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric Computation CoRR (2013)
Zhengfeng Yang, Lihong Zhi, Yijun Zhu
Verified error bounds for real solutions of positive-dimensional polynomial systems. ISSAC (2013)
Erich Kaltofen, Zhengfeng Yang
Sparse multivariate function recovery from values with noise and outlier errors. ISSAC (2013)
Min Wu, Zhengfeng Yang, Wang Lin
Domain-of-Attraction Estimation for Uncertain Non-polynomial Systems CoRR (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)
Erich Kaltofen, Bin Li, Zhengfeng Yang, Lihong Zhi
Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients. J. Symb. Comput. 47 (1) (2012)
Zhengfeng Yang, Min Wu, Wang Lin
Exact Verification of Hybrid Systems Based on Bilinear SOS Representation CoRR (2012)
Erich L. Kaltofen, Wen-shin Lee, Zhengfeng Yang
Fast estimates of Hankel matrix condition numbers and numeric sparse interpolation. SNC (2011)
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)
Min Wu, Zhengfeng Yang
Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients. SNC (2011)
Zijia Li, Zhengfeng Yang, Lihong Zhi
Blind image deconvolution via fast approximate GCD. ISSAC (2010)
Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng
Finding positively invariant sets of a class of nonlinear loops via curve fitting. SNC (2009)
Erich Kaltofen, Zhengfeng Yang, Lihong Zhi
A proof of the monotone column permanent (MCP) conjecture for dimension 4 via sums-of-squares of rational functions. SNC (2009)
Liyong Shen, Min Wu, Zhengfeng Yang
Simplification of Numerical Rational Surfaces. CSO (1) (2009)
Erich Kaltofen, John P. May, Zhengfeng Yang, Lihong Zhi
Approximate factorization of multivariate polynomials using singular value decomposition. J. Symb. Comput. 43 (5) (2008)
Erich Kaltofen, Bin Li, Zhengfeng Yang, Lihong Zhi
Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars. ISSAC (2008)
Erich Kaltofen, Zhengfeng Yang
On exact and approximate interpolation of sparse rational functions. ISSAC (2007)
Erich Kaltofen, Bin Li, Kartik Sivaramakrishnan, Zhengfeng Yang, Lihong Zhi
Lower bounds for approximate factorizations via semidefinite programming: (extended abstract). SNC (2007)
Erich Kaltofen, Zhengfeng Yang, Lihong Zhi
On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms. SNC (2007)
Erich Kaltofen, Zhengfeng Yang, Lihong Zhi
Approximate greatest common divisors of several polynomials with linearly constrained coefficients and singular polynomials. ISSAC (2006)
Shuhong Gao, Erich Kaltofen, John P. May, Zhengfeng Yang, Lihong Zhi
Approximate factorization of multivariate polynomials via differential equations. ISSAC (2004)