Constructing Dixon Matrix for Sparse Polynomial Equations Based on Hybrid and Heuristics Scheme. - Guoqiang Deng; Niuniu Qi; Min Tang; Xuefeng Duan (Symmetry, 2022)

Safe DNN-type Controller Synthesis for Nonlinear Systems via Meta Reinforcement Learning. - Hanrui Zhao; Xia Zeng; Niuniu Qi; Zhengfeng Yang; Zhenbing Zeng (DAC, 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)

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)

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)