Zhengfeng Yang

93 papers A* 15B 12Misc 5Journal 37Unranked 24

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Learning to select cutting planes in mixed integer linear programming solving. Expert Syst. Appl. Xuefeng Zhang, Liangyu Chen, Zhengfeng Yang, Zhenbing Zeng
2026	A*	`conf`	Richer Representations for Neural Algorithmic Reasoning via Auxiliary Reconstruction. AAAI Jiafu Huang, Chao Peng, Chenyang Xu, Zhengfeng Yang, Kecheng Cai, Chenhao Zhang, Yi Wang, Yiwei Gong, Wanqin Zhou, Irene Zheng
2026	J	`jnl`	Safe Reinforcement Learning for NN-Controlled Systems With Neural Barrier Certificate Guidance. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Hanrui Zhao, Mengxin Ren, Banglong Liu, Niuniu Qi, Xia Zeng, Zhenbing Zeng, Zhengfeng Yang
2026	J	`jnl`	Sponsored search auction design beyond single utility maximization. J. Comput. Syst. Sci. Changfeng Xu, Chao Peng, Chenyang Xu, Zhengfeng Yang
2025	J	`jnl`	A Combinatorial Identities Benchmark for Theorem Proving via Automated Theorem Generation. CoRR Beibei Xiong, Hangyu Lv, Haojia Shan, Jianlin Wang, Zhengfeng Yang, Lihong Zhi
2025	J	`jnl`	An iterative scheme of hybrid controller synthesis for nonlinear systems subject to safety constraints. Inf. Comput. Niuniu Qi, Xia Zeng, Banglong Liu, Zhengfeng Yang, Xiaochao Tang, Li Zhang, Chao Peng, Zhenbing Zeng
2025	A*	`conf`	Automated Proof of Polynomial Inequalities via Reinforcement Learning. CVPR Banglong Liu, Niuniu Qi, Xia Zeng, Lydia Dehbi, Zhengfeng Yang
2025	J	`jnl`	Automated Proof of Polynomial Inequalities via Reinforcement Learning. CoRR Banglong Liu, Niuniu Qi, Xia Zeng, Lydia Dehbi, Zhengfeng Yang
2025	J	`jnl`	CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics. CoRR Junqi Liu, Xiaohan Lin, Jonas Bayer, Yael Dillies, Weijie Jiang, Xiaodan Liang, Roman Soletskyi, Haiming Wang, Yunzhou Xie, Beibei Xiong, Zhengfeng Yang, Jujian Zhang, Lihong Zhi, Jia Li, Zhengying Liu
2025	J	`jnl`	CuDIP: Enhancing Theorem Proving in LLMs via Curriculum Learning-based Direct Preference Optimization. CoRR Shuming Shi, Ruobing Zuo, Gaolei He, Jianxin Wang, Chenyang Xu, Zhengfeng Yang
2025	—	`conf`	Formal Theorem Generation via MCTS with LLM-Guided Process Optimization. ICIC (10) Lei Wang, Zhengfeng Yang
2025	—	`conf`	FrameProver: Leveraging Formal Frameworks in Building Proofs for Enhanced Inference. ICIC (9) Haojia Shan, Beibei Xiong, Niuniu Qi, Zhengfeng Yang
2025	J	`jnl`	Global Optimization for Heilbronn Problem of Convex Polygons Based on Bilinear Matrix Inequalities Solving. J. Syst. Sci. Complex. Niuniu Qi, Lydia Dehbi, Banglong Liu, Zhengfeng Yang, Zhenbing Zeng
2025	A*	`conf`	Learning-Aided Safe Controller Synthesis with Formal Guarantees via Vector Barrier Certificates. DAC Xia Zeng, Mengxin Ren, Zhiming Liu, Zhengfeng Yang
2025	A*	`conf`	Learning-enabled Polynomial Lyapunov Function Synthesis via High-Accuracy Counterexample-Guided Framework. CVPR Hanrui Zhao, Niuniu Qi, Mengxin Ren, Banglong Liu, Shuming Shi, Zhengfeng Yang
2025	J	`jnl`	Open-Book Neural Algorithmic Reasoning. CoRR Hefei Li, Chao Peng, Chenyang Xu, Zhengfeng Yang
2025	—	`conf`	QDTSynth: Quality-Driven Formal Theorem Synthesis for Enhancing Proving Performance of LLMs. ACL (1) Lei Wang, Ruobing Zuo, Gaolei He, Jianlin Wang, Zhengfeng Yang
2024	A*	`conf`	A Context-Enhanced Framework for Sequential Graph Reasoning. IJCAI Shuo Shi, Chao Peng, Chenyang Xu, Zhengfeng Yang
2024	J	`jnl`	A Context-Enhanced Framework for Sequential Graph Reasoning. CoRR Shuo Shi, Chao Peng, Chenyang Xu, Zhengfeng Yang
2024	A*	`conf`	Neural Barrier Certificates Synthesis of NN-Controlled Continuous Systems via Counterexample-Guided Learning. DAC Hanrui Zhao, Niuniu Qi, Mengxin Ren, Xia Zeng, Zhenbing Zeng, Zhengfeng Yang
2024	A*	`conf`	Open-Book Neural Algorithmic Reasoning. NeurIPS Hefei Li, Chao Peng, Chenyang Xu, Zhengfeng Yang
2024	J	`jnl`	Polynomial Neural Barrier Certificate Synthesis of Hybrid Systems via Counterexample Guidance. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Hanrui Zhao, Banglong Liu, Lydia Dehbi, Huijiao Xie, Zhengfeng Yang, Haifeng Qian
2024	A*	`conf`	Safe Controller Synthesis for Nonlinear Systems via Reinforcement Learning and PAC Approximation. DAC Xia Zeng, Banglong Liu, Zhenbing Zeng, Zhiming Liu, Zhengfeng Yang
2024	—	`conf`	Sponsored Search Auction Design Beyond Single Utility Maximization. COCOON (2) Changfeng Xu, Chao Peng, Chenyang Xu, Zhengfeng Yang
2024	J	`jnl`	Sponsored Search Auction Design Beyond Single Utility Maximization. CoRR Changfeng Xu, Chao Peng, Chenyang Xu, Zhengfeng Yang
2023	A*	`conf`	A Novel Learnable Interpolation Approach for Scale-Arbitrary Image Super-Resolution. IJCAI Jiahao Chao, Zhou Zhou, Hongfan Gao, Jiali Gong, Zhenbing Zeng, Zhengfeng Yang
2023	—	`conf`	Efficient Deep Models for Real-Time 4K Image Super-Resolution. NTIRE 2023 Benchmark and Report. CVPR Workshops 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	A*	`conf`	Enhancing Real-Time Super Resolution with Partial Convolution and Efficient Variance Attention. ACM Multimedia Zhou Zhou, Jiahao Chao, Jiali Gong, Hongfan Gao, Zhenbing Zeng, Zhengfeng Yang
2023	A*	`conf`	Equivalent Transformation and Dual Stream Network Construction for Mobile Image Super-Resolution. CVPR Jiahao Chao, Zhou Zhou, Hongfan Gao, Jiali Gong, Zhengfeng Yang, Zhenbing Zeng, Lydia Dehbi
2023	—	`conf`	FedGM: Heterogeneous Federated Learning via Generative Learning and Mutual Distillation. Euro-Par Chao Peng, Yiming Guo, Yao Chen, Qilin Rui, Zhengfeng Yang, Chenyang Xu
2023	J	`jnl`	Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning. ACM Trans. Embed. Comput. Syst. Hanrui Zhao, Niuniu Qi, Lydia Dehbi, Xia Zeng, Zhengfeng Yang
2023	—	`conf`	Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints. CAV (1) Zhengfeng Yang, Li Zhang, Xia Zeng, Xiaochao Tang, Chao Peng, Zhenbing Zeng
2023	Misc	`conf`	Kernel Estimation and Deconvolution for Blind Image Super-Resolution. ICASSP Jiali Gong, Hongfan Gao, Jiahao Chao, Zhou Zhou, Zhengfeng Yang, Zhenbing Zeng
2023	A*	`conf`	Safe DNN-type Controller Synthesis for Nonlinear Systems via Meta Reinforcement Learning. DAC Hanrui Zhao, Xia Zeng, Niuniu Qi, Zhengfeng Yang, Zhenbing Zeng
2023	A*	`conf`	Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers. AAAI Xia Zeng, Zhengfeng Yang, Li Zhang, Xiaochao Tang, Zhenbing Zeng, Zhiming Liu
2023	J	`jnl`	VerifyRealRoots: A Matlab Package for Computing Verified Real Solutions of Polynomials Systems of Equations and Inequalities. J. Syst. Sci. Complex. Zhengfeng Yang, Hanrui Zhao, Lihong Zhi
2022	B	`conf`	A Mechanical Method for Isolating Locally Optimal Points of Certain Radical Functions. CASC Zhenbing Zeng, Yaochen Xu, Yu Chen, Zhengfeng Yang
2022	—	`conf`	An RNN-Based Framework for the MILP Problem in Robustness Verification of Neural Networks. ACCV (1) Hao Xue, Xia Zeng, Wang Lin, Zhengfeng Yang, Chao Peng, Zhenbing Zeng
2022	—	`conf`	Efficient and Accurate Quantized Image Super-Resolution on Mobile NPUs, Mobile AI & AIM 2022 Challenge: Report. ECCV Workshops (3) 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	J	`jnl`	Efficient and Accurate Quantized Image Super-Resolution on Mobile NPUs, Mobile AI & AIM 2022 challenge: Report. CoRR 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.
2022	J	`jnl`	Improvement of Oracle Bone Inscription Recognition Accuracy: A Deep Learning Perspective. ISPRS Int. J. Geo Inf. Xuanming Fu, Zhengfeng Yang, Zhenbing Zeng, Yidan Zhang, Qianting Zhou
2022	Misc	`conf`	Improving Adversarial Robustness of Deep Neural Networks via Linear Programming. TASE Xiaochao Tang, Zhengfeng Yang, Xuanming Fu, Jianlin Wang, Zhenbing Zeng
2022	J	`jnl`	Reachable Set Estimation and Safety Verification of Nonlinear Systems via Iterative Sums of Squares Programming. J. Syst. Sci. Complex. Wang Lin, Zhengfeng Yang, Zuohua Ding
2022	B	`conf`	Robust Training with Feature-Based Adversarial Example. ICPR Xuanming Fu, Zhengfeng Yang, Hao Xue, Jianlin Wang, Zhenbing Zeng
2021	—	`conf`	An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation. CAV (1) Zhengfeng Yang, Yidan Zhang, Wang Lin, Xia Zeng, Xiaochao Tang, Zhenbing Zeng, Zhiming Liu
2021	A*	`conf`	Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations. DAC Meng Sha, Xin Chen, Yuzhe Ji, Qingye Zhao, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li
2021	—	`conf`	Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems. HSCC Qingye Zhao, Xin Chen, Yifan Zhang, Meng Sha, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li
2020	—	`conf`	A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation. CAV (1) Xin Chen, Chao Peng, Wang Lin, Zhengfeng Yang, Yifang Zhang, Xuandong Li
2020	—	`conf`	An Isometric Embedding of the Impossible Triangle into the Euclidean Space of Lowest Dimension. MC Zhenbing Zeng, Yaochen Xu, Zhengfeng Yang, Zhi-Bin Li
2020	—	`conf`	CIFEF: Combining Implicit and Explicit Features for Friendship Inference in Location-Based Social Networks. KSEM (2) Cheng He, Chao Peng, Na Li, Xiang Chen, Zhengfeng Yang, Zhenhao Hu
2020	—	`conf`	Generating Adversarial Texts for Recurrent Neural Networks. ICANN (1) Chang Liu, Wang Lin, Zhengfeng Yang
2019	Misc	`conf`	Multi-Agent Automated Reasoning Toward Machine Self-Awareness: A Case Study. TASE Zhenbing Zeng, Jianlin Wang, Zhengfeng Yang
2019	J	`jnl`	Numerical Proper Reparametrization of Space Curves and Surfaces. Comput. Aided Des. Li-Yong Shen, Sonia Pérez-Díaz, Zhengfeng Yang
2019	A*	`conf`	Robustness Verification of Classification Deep Neural Networks via Linear Programming. CVPR Wang Lin, Zhengfeng Yang, Xin Chen, Qingye Zhao, Xiangkun Li, Zhiming Liu, Jifeng He
2018	Misc	`conf`	A Fully Abstract Encoding for Sub Asynchronous Pi Calculus. TASE Wenjun Du, Zhengfeng Yang, Huibiao Zhu
2018	J	`jnl`	Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Yifan Zhang, Zhengfeng Yang, Wang Lin, Huibiao Zhu, Xin Chen, Xuandong Li
2018	B	`conf`	Sparse Polynomial Interpolation With Arbitrary Orthogonal Polynomial Bases. ISSAC Erdal Imamoglu, Erich L. Kaltofen, Zhengfeng Yang
2017	J	`jnl`	Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation. Sci. China Inf. Sci. Xia Zeng, Wang Lin, Zhengfeng Yang, Zhenbing Zeng
2017	J	`jnl`	Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates. ACM Trans. Embed. Comput. Syst. Chao Huang, Xin Chen, Wang Lin, Zhengfeng Yang, Xuandong Li
2017	J	`jnl`	Verification for Non-polynomial Hybrid Systems Using Rational Invariants. Comput. J. Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng
2016	B	`conf`	A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems. FM Zhengfeng Yang, Chao Huang, Xin Chen, Wang Lin, Zhiming Liu
2016	Misc	`conf`	Darboux-type barrier certificates for safety verification of nonlinear hybrid systems. EMSOFT Xia Zeng, Wang Lin, Zhengfeng Yang, Xin Chen, Lilei Wang
2016	J	`jnl`	Resultant elimination via implicit equation interpolation. J. Syst. Sci. Complex. Min Tang, Zhengfeng Yang, Zhenbing Zeng
2016	J	`jnl`	Sparse multivariate function recovery with a small number of evaluations. J. Symb. Comput. Erich L. Kaltofen, Zhengfeng Yang
2015	J	`jnl`	Exact Safety Verification of Hybrid Systems Based on Bilinear SOS Representation. ACM Trans. Embed. Comput. Syst. Zhengfeng Yang, Wang Lin, Min Wu
2014	J	`jnl`	Domain-of-attraction estimation for uncertain non-polynomial systems. Commun. Nonlinear Sci. Numer. Simul. Min Wu, Zhengfeng Yang, Wang Lin
2014	J	`jnl`	Exact safety verification of hybrid systems using sums-of-squares representation. Sci. China Inf. Sci. Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng
2014	J	`jnl`	Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods. Frontiers Comput. Sci. Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng
2014	—	`conf`	Safety verification of nonlinear systems based on rational invariants. SNC Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng
2014	B	`conf`	Sparse multivariate function recovery with a high error rate in the evaluations. ISSAC Erich L. Kaltofen, Zhengfeng Yang
2013	J	`jnl`	Domain-of-Attraction Estimation for Uncertain Non-polynomial Systems CoRR Min Wu, Zhengfeng Yang, Wang Lin
2013	J	`jnl`	Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric Computation CoRR Zhengfeng Yang, Min Wu, Wang Lin
2013	J	`jnl`	Generating exact nonlinear ranking functions by symbolic-numeric hybrid method. J. Syst. Sci. Complex. Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng
2013	B	`conf`	Sparse multivariate function recovery from values with noise and outlier errors. ISSAC Erich L. Kaltofen, Zhengfeng Yang
2013	B	`conf`	Verified error bounds for real solutions of positive-dimensional polynomial systems. ISSAC Zhengfeng Yang, Lihong Zhi, Yijun Zhu
2012	J	`jnl`	Exact Verification of Hybrid Systems Based on Bilinear SOS Representation CoRR Zhengfeng Yang, Min Wu, Wang Lin
2012	J	`jnl`	Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients. J. Symb. Comput. Erich L. Kaltofen, Bin Li, Zhengfeng Yang, Lihong Zhi
2012	—	`conf`	Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations. ASCM Liangyu Chen, Tuo Leng, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng
2011	J	`jnl`	Exact Safety Verification of Hybrid Systems Using Sums-Of-Squares Representation CoRR Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng
2011	—	`conf`	Fast estimates of Hankel matrix condition numbers and numeric sparse interpolation. SNC Erich L. Kaltofen, Wen-shin Lee, Zhengfeng Yang
2011	J	`jnl`	Generating Loop Invariants by Computing Vanishing Ideals of Sample Points CoRR Bin Wu, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng
2011	—	`conf`	Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients. SNC Min Wu, Zhengfeng Yang
2010	B	`conf`	Blind image deconvolution via fast approximate GCD. ISSAC Zijia Li, Zhengfeng Yang, Lihong Zhi
2009	—	`conf`	A proof of the monotone column permanent (MCP) conjecture for dimension 4 via sums-of-squares of rational functions. SNC Erich L. Kaltofen, Zhengfeng Yang, Lihong Zhi
2009	—	`conf`	Finding positively invariant sets of a class of nonlinear loops via curve fitting. SNC Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng
2009	—	`conf`	Simplification of Numerical Rational Surfaces. CSO (1) Liyong Shen, Min Wu, Zhengfeng Yang
2008	J	`jnl`	Approximate factorization of multivariate polynomials using singular value decomposition. J. Symb. Comput. Erich L. Kaltofen, John P. May, Zhengfeng Yang, Lihong Zhi
2008	B	`conf`	Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars. ISSAC Erich L. Kaltofen, Bin Li, Zhengfeng Yang, Lihong Zhi
2007	—	`conf`	Lower bounds for approximate factorizations via semidefinite programming: (extended abstract). SNC Erich L. Kaltofen, Bin Li, Kartik Sivaramakrishnan, Zhengfeng Yang, Lihong Zhi
2007	B	`conf`	On exact and approximate interpolation of sparse rational functions. ISSAC Erich L. Kaltofen, Zhengfeng Yang
2007	—	`conf`	On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms. SNC Erich L. Kaltofen, Zhengfeng Yang, Lihong Zhi
2006	B	`conf`	Approximate greatest common divisors of several polynomials with linearly constrained coefficients and singular polynomials. ISSAC Erich L. Kaltofen, Zhengfeng Yang, Lihong Zhi
2004	B	`conf`	Approximate factorization of multivariate polynomials via differential equations. ISSAC Shuhong Gao, Erich L. Kaltofen, John P. May, Zhengfeng Yang, Lihong Zhi