Zhengfeng Yang

According to our database, Zhengfeng Yang authored at least 71 papers between 2004 and 2024.

Collaborative distances:

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

2024

Polynomial Neural Barrier Certificate Synthesis of Hybrid Systems via Counterexample Guidance.

Hanrui Zhao, Banglong Liu, Lydia Dehbi, Huijiao Xie, Zhengfeng Yang, Haifeng Qian

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2024

Sponsored Search Auction Design Beyond Single Utility Maximization.

Changfeng Xu, Chao Peng, Chenyang Xu, Zhengfeng Yang

CoRR, 2024

A Context-Enhanced Framework for Sequential Graph Reasoning.

Shuo Shi, Chao Peng, Chenyang Xu, Zhengfeng Yang

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

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

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

Safe Controller Synthesis for Nonlinear Systems via Reinforcement Learning and PAC Approximation.

Xia Zeng, Banglong Liu, Zhenbing Zeng, Zhiming Liu, Zhengfeng Yang

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

2023

Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning.

Hanrui Zhao, Niuniu Qi, Lydia Dehbi, Xia Zeng, Zhengfeng Yang

ACM Trans. Embed. Comput. Syst., October, 2023

VerifyRealRoots: A Matlab Package for Computing Verified Real Solutions of Polynomials Systems of Equations and Inequalities.

Zhengfeng Yang, Hanrui Zhao, Lihong Zhi

J. Syst. Sci. Complex., April, 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

FedGM: Heterogeneous Federated Learning via Generative Learning and Mutual Distillation.

Chao Peng, Yiming Guo, Yao Chen, Qilin Rui, Zhengfeng Yang, Chenyang Xu

Proceedings of the Euro-Par 2023: Parallel Processing - 29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28, 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

Reachable Set Estimation and Safety Verification of Nonlinear Systems via Iterative Sums of Squares Programming.

Wang Lin, Zhengfeng Yang, Zuohua Ding

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

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

Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems.

Qingye Zhao, Xin Chen, Yifan Zhang, Meng Sha, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations.

Meng Sha, Xin Chen, Yuzhe Ji, Qingye Zhao, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li

Proceedings of the 58th ACM/IEEE Design Automation Conference, 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

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

CIFEF: Combining Implicit and Explicit Features for Friendship Inference in Location-Based Social Networks.

Cheng He, Chao Peng, Na Li, Xiang Chen, Zhengfeng Yang, Zhenhao Hu

Proceedings of the Knowledge Science, Engineering and Management, 2020

Generating Adversarial Texts for Recurrent Neural Networks.

Chang Liu, Wang Lin, Zhengfeng Yang

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2020, 2020

A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation.

Xin Chen, Chao Peng, Wang Lin, Zhengfeng Yang, Yifang Zhang, Xuandong Li

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Numerical Proper Reparametrization of Space Curves and Surfaces.

Li-Yong Shen, Sonia Pérez-Díaz, Zhengfeng Yang

Comput. Aided Des., 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

Robustness Verification of Classification Deep Neural Networks via Linear Programming.

Wang Lin, Zhengfeng Yang, Xin Chen, Qingye Zhao, Xiangkun Li, Zhiming Liu, Jifeng He

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2019

2018

Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming.

Yifan Zhang, Zhengfeng Yang, Wang Lin, Huibiao Zhu, Xin Chen, Xuandong Li

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

A Fully Abstract Encoding for Sub Asynchronous Pi Calculus.

Wenjun Du, Zhengfeng Yang, Huibiao Zhu

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

Sparse Polynomial Interpolation With Arbitrary Orthogonal Polynomial Bases.

Erdal Imamoglu, Erich L. Kaltofen, Zhengfeng Yang

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018

2017

Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates.

Chao Huang, Xin Chen, Wang Lin, Zhengfeng Yang, Xuandong Li

ACM Trans. Embed. Comput. Syst., 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

Sparse multivariate function recovery with a small number of evaluations.

Erich L. Kaltofen, Zhengfeng Yang

J. Symb. Comput., 2016

Resultant elimination via implicit equation interpolation.

Min Tang, Zhengfeng Yang, Zhenbing Zeng

J. Syst. Sci. Complex., 2016

A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems.

Zhengfeng Yang, Chao Huang, Xin Chen, Wang Lin, Zhiming Liu

Proceedings of the FM 2016: Formal Methods, 2016

Darboux-type barrier certificates for safety verification of nonlinear hybrid systems.

Xia Zeng, Wang Lin, Zhengfeng Yang, Xin Chen, Lilei Wang

Proceedings of the 2016 International Conference on Embedded Software, 2016

2015

Exact Safety Verification of Hybrid Systems Based on Bilinear SOS Representation.

Zhengfeng Yang, Wang Lin, Min Wu

ACM Trans. Embed. Comput. Syst., 2015

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

Domain-of-attraction estimation for uncertain non-polynomial systems.

Min Wu, Zhengfeng Yang, Wang Lin

Commun. Nonlinear Sci. Numer. Simul., 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

Sparse multivariate function recovery with a high error rate in the evaluations.

Erich L. Kaltofen, Zhengfeng Yang

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 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

Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric Computation

Zhengfeng Yang, Min Wu, Wang Lin

CoRR, 2013

Verified error bounds for real solutions of positive-dimensional polynomial systems.

Zhengfeng Yang, Lihong Zhi, Yijun Zhu

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

Sparse multivariate function recovery from values with noise and outlier errors.

Erich L. Kaltofen, Zhengfeng Yang

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

2012

Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients.

Erich L. Kaltofen, Bin Li, Zhengfeng Yang, Lihong Zhi

J. Symb. Comput., 2012

Exact Verification of Hybrid Systems Based on Bilinear SOS Representation

Zhengfeng Yang, Min Wu, Wang Lin

CoRR, 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

Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients.

Min Wu, Zhengfeng Yang

Proceedings of the SNC 2011, 2011

Fast estimates of Hankel matrix condition numbers and numeric sparse interpolation.

Erich L. Kaltofen, Wen-shin Lee, Zhengfeng Yang

Proceedings of the SNC 2011, 2011

2010

Blind image deconvolution via fast approximate GCD.

Zijia Li, Zhengfeng Yang, Lihong Zhi

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2010

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

A proof of the monotone column permanent (MCP) conjecture for dimension 4 via sums-of-squares of rational functions.

Erich L. Kaltofen, Zhengfeng Yang, Lihong Zhi

Proceedings of the Symbolic Numeric Computation, 2009

Simplification of Numerical Rational Surfaces.

Liyong Shen, Min Wu, Zhengfeng Yang

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

2008

Approximate factorization of multivariate polynomials using singular value decomposition.

Erich L. Kaltofen, John P. May, Zhengfeng Yang, Lihong Zhi

J. Symb. Comput., 2008

Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars.

Erich L. Kaltofen, Bin Li, Zhengfeng Yang, Lihong Zhi

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2008

2007

On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms.

Erich L. Kaltofen, Zhengfeng Yang, Lihong Zhi

Proceedings of the Symbolic-Numeric Computation, 2007

On exact and approximate interpolation of sparse rational functions.

Erich L. Kaltofen, Zhengfeng Yang

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2007

Lower bounds for approximate factorizations via semidefinite programming: (extended abstract).

Erich L. Kaltofen, Bin Li, Kartik Sivaramakrishnan, Zhengfeng Yang, Lihong Zhi

Proceedings of the Symbolic-Numeric Computation, 2007

2006

Approximate greatest common divisors of several polynomials with linearly constrained coefficients and singular polynomials.

Erich L. Kaltofen, Zhengfeng Yang, Lihong Zhi

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2006

2004

Approximate factorization of multivariate polynomials via differential equations.

Shuhong Gao, Erich L. Kaltofen, John P. May, Zhengfeng Yang, Lihong Zhi

Proceedings of the Symbolic and Algebraic Computation, 2004