Zhengfeng Yang

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

Venues

Active years

2004–2026

Best venue rank

Where they publish

Papers

45 indexed papers, newest first.

Year	Venue	Title	Authors
2026	AAAI	Richer Representations for Neural Algorithmic Reasoning via Auxiliary Reconstruction.	Jiafu Huang, Chao Peng, Chenyang Xu, Zhengfeng Yang, Kecheng Cai, Chenhao Zhang, Yi Wang, Yiwei Gong, Wanqin Zhou, Irene Zheng
2026	ACL	SAIR-Comb : A Structure-Aware Iterative Refinement Framework for Combinatorics Autoformalization.	Weijie Jiang, Gaolei He, Beibei Xiong, Jianlin Wang, Zhengfeng Yang
2026	FM	Incremental Synthesis of Safe Controller Guided by Learning-Enabled Barrier Certificates with Efficient LP Verification.	Niuniu Qi, Hanrui Zhao, Zhengfeng Yang, Xia Zeng, Mengxin Ren, Chao Peng, Zhiming Liu
2025	ACL	QDTSynth: Quality-Driven Formal Theorem Synthesis for Enhancing Proving Performance of LLMs.	Lei Wang, Ruobing Zuo, Gaolei He, Jianlin Wang, Zhengfeng Yang
2025	CVPR	Automated Proof of Polynomial Inequalities via Reinforcement Learning.	Banglong Liu, Niuniu Qi, Xia Zeng, Lydia Dehbi, Zhengfeng Yang
2025	CVPR	Learning-enabled Polynomial Lyapunov Function Synthesis via High-Accuracy Counterexample-Guided Framework.	Hanrui Zhao, Niuniu Qi, Mengxin Ren, Banglong Liu, Shuming Shi, Zhengfeng Yang
2025	DAC	Learning-Aided Safe Controller Synthesis with Formal Guarantees via Vector Barrier Certificates.	Xia Zeng, Mengxin Ren, Zhiming Liu, Zhengfeng Yang
2024	COCOON	Sponsored Search Auction Design Beyond Single Utility Maximization.	Changfeng Xu, Chao Peng, Chenyang Xu, Zhengfeng Yang
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	IJCAI	A Context-Enhanced Framework for Sequential Graph Reasoning.	Shuo Shi, Chao Peng, Chenyang Xu, Zhengfeng Yang
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	EuroPar	FedGM: Heterogeneous Federated Learning via Generative Learning and Mutual Distillation.	Chao Peng, Yiming Guo, Yao Chen, Qilin Rui, Zhengfeng Yang, Chenyang Xu
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	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	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	DAC	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
2020	CAV	A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation.	Xin Chen, Chao Peng, Wang Lin, Zhengfeng Yang, Yifang Zhang, Xuandong Li
2020	ICANN	Generating Adversarial Texts for Recurrent Neural Networks.	Chang Liu, Wang Lin, Zhengfeng Yang
2020	KSEM	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
2019	CVPR	Robustness Verification of Classification Deep Neural Networks via Linear Programming.	Wang Lin, Zhengfeng Yang, Xin Chen, Qingye Zhao, Xiangkun Li, Zhiming Liu, Jifeng He
2019	TASE	Multi-Agent Automated Reasoning Toward Machine Self-Awareness: A Case Study.	Zhenbing Zeng, Jianlin Wang, Zhengfeng Yang
2018	ISSAC	Sparse Polynomial Interpolation With Arbitrary Orthogonal Polynomial Bases.	Erdal Imamoglu, Erich L. Kaltofen, Zhengfeng Yang
2018	TASE	A Fully Abstract Encoding for Sub Asynchronous Pi Calculus.	Wenjun Du, Zhengfeng Yang, Huibiao Zhu
2016	EMSOFT	Darboux-type barrier certificates for safety verification of nonlinear hybrid systems.	Xia Zeng, Wang Lin, Zhengfeng Yang, Xin Chen, Lilei Wang
2016	FM	A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems.	Zhengfeng Yang, Chao Huang, Xin Chen, Wang Lin, Zhiming Liu
2014	ISSAC	Sparse multivariate function recovery with a high error rate in the evaluations.	Erich L. Kaltofen, Zhengfeng Yang
2013	ISSAC	Sparse multivariate function recovery from values with noise and outlier errors.	Erich L. Kaltofen, Zhengfeng Yang
2013	ISSAC	Verified error bounds for real solutions of positive-dimensional polynomial systems.	Zhengfeng Yang, Lihong Zhi, Yijun Zhu
2010	ISSAC	Blind image deconvolution via fast approximate GCD.	Zijia Li, Zhengfeng Yang, Lihong Zhi
2008	ISSAC	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
2007	ISSAC	Lower bounds for approximate factorizations via semidefinite programming: (extended abstract).	Erich L. Kaltofen, Bin Li, Kartik Sivaramakrishnan, Zhengfeng Yang, Lihong Zhi
2007	ISSAC	On exact and approximate interpolation of sparse rational functions.	Erich L. Kaltofen, Zhengfeng Yang
2007	ISSAC	On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms.	Erich L. Kaltofen, Zhengfeng Yang, Lihong Zhi
2006	ISSAC	Approximate greatest common divisors of several polynomials with linearly constrained coefficients and singular polynomials.	Erich L. Kaltofen, Zhengfeng Yang, Lihong Zhi
2004	ISSAC	Approximate factorization of multivariate polynomials via differential equations.	Shuhong Gao, Erich L. Kaltofen, John P. May, Zhengfeng Yang, Lihong Zhi