Niuniu Qi

12 papers A* 4Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
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
2025 — conf
A Thought Experiment for Making Computers to Discover Euclidean Geometry Theorems Automatically.
ICIT
Zhenbing Zeng, Jian Lu, Yaochen Xu, Niuniu Qi
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 — 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-enabled Polynomial Lyapunov Function Synthesis via High-Accuracy Counterexample-Guided Framework.
CVPR
Hanrui Zhao, Niuniu Qi, Mengxin Ren, Banglong Liu, Shuming Shi, 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
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 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
2022 J jnl
Constructing Dixon Matrix for Sparse Polynomial Equations Based on Hybrid and Heuristics Scheme.
Symmetry
Guoqiang Deng, Niuniu Qi, Min Tang, Xuefeng Duan