Approximate factorization of multivariate polynomials via differential equations. - Shuhong Gao; Erich L. Kaltofen; John P. May; Zhengfeng Yang; Lihong Zhi (ISSAC, 2004)

Approximate greatest common divisors of several polynomials with linearly constrained coefficients and singular polynomials. - Erich L. Kaltofen; Zhengfeng Yang; Lihong Zhi (ISSAC, 2006)

Lower bounds for approximate factorizations via semidefinite programming: (extended abstract). - Erich L. Kaltofen; Bin Li; Kartik Sivaramakrishnan; Zhengfeng Yang; Lihong Zhi (SNC, 2007)

On exact and approximate interpolation of sparse rational functions. - Erich L. Kaltofen; Zhengfeng Yang (ISSAC, 2007)

On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms. - Erich L. Kaltofen; Zhengfeng Yang; Lihong Zhi (SNC, 2007)

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 (ISSAC, 2008)

Approximate factorization of multivariate polynomials using singular value decomposition. - Erich L. Kaltofen; John P. May; Zhengfeng Yang; Lihong Zhi (J. Symb. Comput., 2008)

Simplification of Numerical Rational Surfaces. - Liyong Shen; Min Wu 003; Zhengfeng Yang (CSO (1), 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 (SNC, 2009)

Finding positively invariant sets of a class of nonlinear loops via curve fitting. - Liyong Shen; Min Wu 003; Zhengfeng Yang; Zhenbing Zeng (SNC, 2009)

Blind image deconvolution via fast approximate GCD. - Zijia Li; Zhengfeng Yang; Lihong Zhi (ISSAC, 2010)

Fast estimates of Hankel matrix condition numbers and numeric sparse interpolation. - Erich L. Kaltofen; Wen-shin Lee; Zhengfeng Yang (SNC, 2011)

Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients. - Min Wu 003; Zhengfeng Yang (SNC, 2011)

Generating Loop Invariants by Computing Vanishing Ideals of Sample Points - Bin Wu; Liyong Shen; Min Wu 003; Zhengfeng Yang; Zhenbing Zeng (CoRR, 2011)

Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations. - Liangyu Chen 001; Tuo Leng; Liyong Shen; Min Wu 003; Zhengfeng Yang; Zhenbing Zeng (ASCM, 2012)

Exact Verification of Hybrid Systems Based on Bilinear SOS Representation - Zhengfeng Yang; Min Wu 003; Wang Lin (CoRR, 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)

Sparse multivariate function recovery from values with noise and outlier errors. - Erich L. Kaltofen; Zhengfeng Yang (ISSAC, 2013)

Verified error bounds for real solutions of positive-dimensional polynomial systems. - Zhengfeng Yang; Lihong Zhi; Yijun Zhu (ISSAC, 2013)

Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric Computation - Zhengfeng Yang; Min Wu 003; Wang Lin (CoRR, 2013)

Generating exact nonlinear ranking functions by symbolic-numeric hybrid method. - Liyong Shen; Min Wu 003; Zhengfeng Yang; Zhenbing Zeng (J. Syst. Sci. Complex., 2013)

Sparse multivariate function recovery with a high error rate in the evaluations. - Erich L. Kaltofen; Zhengfeng Yang (ISSAC, 2014)

Safety verification of nonlinear systems based on rational invariants. - Wang Lin; Min Wu 003; Zhengfeng Yang; Zhenbing Zeng (SNC, 2014)

Exact safety verification of hybrid systems using sums-of-squares representation. - Wang Lin; Min Wu 003; Zhengfeng Yang; Zhenbing Zeng (Sci. China Inf. Sci., 2014)

Domain-of-attraction estimation for uncertain non-polynomial systems. - Min Wu 003; Zhengfeng Yang; Wang Lin (Commun. Nonlinear Sci. Numer. Simul., 2014)

Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods. - Wang Lin; Min Wu 003; Zhengfeng Yang; Zhenbing Zeng (Frontiers Comput. Sci., 2014)

Exact Safety Verification of Hybrid Systems Based on Bilinear SOS Representation. - Zhengfeng Yang; Wang Lin; Min Wu 003 (ACM Trans. Embed. Comput. Syst., 2015)

Darboux-type barrier certificates for safety verification of nonlinear hybrid systems. - Xia Zeng; Wang Lin; Zhengfeng Yang; Xin Chen 027; Lilei Wang (EMSOFT, 2016)

A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems. - Zhengfeng Yang; Chao Huang 015; Xin Chen 027; Wang Lin; Zhiming Liu 001 (FM, 2016)

Resultant elimination via implicit equation interpolation. - Min Tang; Zhengfeng Yang; Zhenbing Zeng (J. Syst. Sci. Complex., 2016)

Sparse multivariate function recovery with a small number of evaluations. - Erich L. Kaltofen; Zhengfeng Yang (J. Symb. Comput., 2016)

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)

Verification for Non-polynomial Hybrid Systems Using Rational Invariants. - Wang Lin; Min Wu 003; Zhengfeng Yang; Zhenbing Zeng (Comput. J., 2017)

Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates. - Chao Huang 015; Xin Chen 027; Wang Lin; Zhengfeng Yang; Xuandong Li (ACM Trans. Embed. Comput. Syst., 2017)

Sparse Polynomial Interpolation With Arbitrary Orthogonal Polynomial Bases. - Erdal Imamoglu; Erich L. Kaltofen; Zhengfeng Yang (ISSAC, 2018)

A Fully Abstract Encoding for Sub Asynchronous Pi Calculus. - Wenjun Du; Zhengfeng Yang; Huibiao Zhu (TASE, 2018)

Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming. - Yifan Zhang 005; Zhengfeng Yang; Wang Lin; Huibiao Zhu; Xin Chen 027; Xuandong Li (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Robustness Verification of Classification Deep Neural Networks via Linear Programming. - Wang Lin; Zhengfeng Yang; Xin Chen 027; Qingye Zhao; Xiangkun Li; Zhiming Liu 001; Jifeng He 001 (CVPR, 2019)

Multi-Agent Automated Reasoning Toward Machine Self-Awareness: A Case Study. - Zhenbing Zeng; Jianlin Wang; Zhengfeng Yang (TASE, 2019)

Numerical Proper Reparametrization of Space Curves and Surfaces. - Li-Yong Shen; Sonia Pérez-Díaz; Zhengfeng Yang (Comput. Aided Des., 2019)

A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation. - Xin Chen 027; Chao Peng 004; Wang Lin; Zhengfeng Yang; Yifang Zhang; Xuandong Li (CAV (1), 2020)

Generating Adversarial Texts for Recurrent Neural Networks. - Chang Liu 051; Wang Lin; Zhengfeng Yang (ICANN (1), 2020)

CIFEF: Combining Implicit and Explicit Features for Friendship Inference in Location-Based Social Networks. - Cheng He; Chao Peng 004; Na Li; Xiang Chen 005; Zhengfeng Yang; Zhenhao Hu (KSEM (2), 2020)

An Isometric Embedding of the Impossible Triangle into the Euclidean Space of Lowest Dimension. - Zhenbing Zeng; Yaochen Xu; Zhengfeng Yang; Zhi-Bin Li 005 (MC, 2020)

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 001 (CAV (1), 2021)

Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations. - Meng Sha; Xin Chen 027; Yuzhe Ji; Qingye Zhao; Zhengfeng Yang; Wang Lin; Enyi Tang; Qiguang Chen; Xuandong Li (DAC, 2021)

Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems. - Qingye Zhao; Xin Chen 027; Yifan Zhang 005; Meng Sha; Zhengfeng Yang; Wang Lin; Enyi Tang; Qiguang Chen; Xuandong Li (HSCC, 2021)

An RNN-Based Framework for the MILP Problem in Robustness Verification of Neural Networks. - Hao Xue; Xia Zeng; Wang Lin; Zhengfeng Yang; Chao Peng 004; Zhenbing Zeng (ACCV (1), 2022)

A Mechanical Method for Isolating Locally Optimal Points of Certain Radical Functions. - Zhenbing Zeng; Yaochen Xu; Yu Chen; Zhengfeng Yang (CASC, 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; et al. (ECCV Workshops (3), 2022)

Robust Training with Feature-Based Adversarial Example. - Xuanming Fu; Zhengfeng Yang; Hao Xue; Jianlin Wang; Zhenbing Zeng (ICPR, 2022)

Improving Adversarial Robustness of Deep Neural Networks via Linear Programming. - Xiaochao Tang; Zhengfeng Yang; Xuanming Fu; Jianlin Wang; Zhenbing Zeng (TASE, 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; et al. (CoRR, 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)

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)

Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers. - Xia Zeng; Zhengfeng Yang; Li Zhang; Xiaochao Tang; Zhenbing Zeng; Zhiming Liu 001 (AAAI, 2023)

Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints. - Zhengfeng Yang; Li Zhang; Xia Zeng; Xiaochao Tang; Chao Peng 004; Zhenbing Zeng (CAV (1), 2023)

Equivalent Transformation and Dual Stream Network Construction for Mobile Image Super-Resolution. - Jiahao Chao; Zhou Zhou 015; Hongfan Gao; Jiali Gong; Zhengfeng Yang; Zhenbing Zeng; Lydia Dehbi (CVPR, 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 002; Jiaming Guo; Xueyi Zou; Yuyi Chen; Yi Liu; et al. (CVPR Workshops, 2023)

Safe DNN-type Controller Synthesis for Nonlinear Systems via Meta Reinforcement Learning. - Hanrui Zhao; Xia Zeng; Niuniu Qi; Zhengfeng Yang; Zhenbing Zeng (DAC, 2023)

FedGM: Heterogeneous Federated Learning via Generative Learning and Mutual Distillation. - Chao Peng 004; Yiming Guo; Yao Chen; Qilin Rui; Zhengfeng Yang; Chenyang Xu 002 (Euro-Par, 2023)

Kernel Estimation and Deconvolution for Blind Image Super-Resolution. - Jiali Gong; Hongfan Gao; Jiahao Chao; Zhou Zhou 015; Zhengfeng Yang; Zhenbing Zeng (ICASSP, 2023)

A Novel Learnable Interpolation Approach for Scale-Arbitrary Image Super-Resolution. - Jiahao Chao; Zhou Zhou 015; Hongfan Gao; Jiali Gong; Zhenbing Zeng; Zhengfeng Yang (IJCAI, 2023)

Enhancing Real-Time Super Resolution with Partial Convolution and Efficient Variance Attention. - Zhou Zhou 015; Jiahao Chao; Jiali Gong; Hongfan Gao; Zhenbing Zeng; Zhengfeng Yang (ACM Multimedia, 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., 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., 2023)

Sponsored Search Auction Design Beyond Single Utility Maximization. - Changfeng Xu; Chao Peng 004; Chenyang Xu 002; Zhengfeng Yang (COCOON (2), 2024)

Safe Controller Synthesis for Nonlinear Systems via Reinforcement Learning and PAC Approximation. - Xia Zeng; Banglong Liu; Zhenbing Zeng; Zhiming Liu 001; Zhengfeng Yang (DAC, 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 (DAC, 2024)

A Context-Enhanced Framework for Sequential Graph Reasoning. - Shuo Shi; Chao Peng 004; Chenyang Xu 002; Zhengfeng Yang (IJCAI, 2024)

Open-Book Neural Algorithmic Reasoning. - Hefei Li; Chao Peng 004; Chenyang Xu 002; Zhengfeng Yang (NeurIPS, 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., 2024)

QDTSynth: Quality-Driven Formal Theorem Synthesis for Enhancing Proving Performance of LLMs. - Lei Wang; Ruobing Zuo; Gaolei He; Jianlin Wang; Zhengfeng Yang (ACL (1), 2025)

Automated Proof of Polynomial Inequalities via Reinforcement Learning. - Banglong Liu; Niuniu Qi; Xia Zeng; Lydia Dehbi; Zhengfeng Yang (CVPR, 2025)

Learning-enabled Polynomial Lyapunov Function Synthesis via High-Accuracy Counterexample-Guided Framework. - Hanrui Zhao; Niuniu Qi; Mengxin Ren; Banglong Liu; Shuming Shi; Zhengfeng Yang (CVPR, 2025)

FrameProver: Leveraging Formal Frameworks in Building Proofs for Enhanced Inference. - Haojia Shan; Beibei Xiong; Niuniu Qi; Zhengfeng Yang (ICIC (9), 2025)

Formal Theorem Generation via MCTS with LLM-Guided Process Optimization. - Lei Wang; Zhengfeng Yang (ICIC (10), 2025)

A Combinatorial Identities Benchmark for Theorem Proving via Automated Theorem Generation. - Beibei Xiong; Hangyu Lv; Haojia Shan; Jianlin Wang; Zhengfeng Yang; Lihong Zhi (CoRR, 2025)

CuDIP: Enhancing Theorem Proving in LLMs via Curriculum Learning-based Direct Preference Optimization. - Shuming Shi; Ruobing Zuo; Gaolei He; Jianxin Wang 001; Chenyang Xu; Zhengfeng Yang (CoRR, 2025)

CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics. - Junqi Liu; Xiaohan Lin; Jonas Bayer; Yael Dillies; Weijie Jiang; Xiaodan Liang; Roman Soletskyi; Haiming Wang; Yunzhou Xie; Beibei Xiong; Zhengfeng Yang; Jujian Zhang; et al. (CoRR, 2025)