Get started
Author

Niuniu Qi

Observed name: Qi, Niuniu
ORCID: 0009-0003-5352-3681
Observed ORCID: 0009-0003-5352-3681
OpenAlex ID: A5059554537
Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning
2023 · Hanrui Zhao, Niuniu Qi, et al. · ACM Transactions on Embedded Computing Systems · 15
PDF
Safe DNN-type Controller Synthesis for Nonlinear Systems via Meta Reinforcement Learning
2023 · Hanrui Zhao, Xia Zeng, et al. · ACM/IEEE Design Automation Conference (DAC) · 5
Neural Barrier Certificates Synthesis of NN-Controlled Continuous Systems via Counterexample-Guided Learning
2024 · Hanrui Zhao, Niuniu Qi, et al. · ACM/IEEE Design Automation Conference (DAC) · 4
Safe Reinforcement Learning for NN-Controlled Systems With Neural Barrier Certificate Guidance
2025 · Hanrui Zhao, Mengxin Ren, et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2
Constructing Dixon Matrix for Sparse Polynomial Equations Based on Hybrid and Heuristics Scheme
2022 · Guoqiang Deng, Niuniu Qi, et al. · Symmetry · 2
PDF
Automated Proof of Polynomial Inequalities via Reinforcement Learning
2025 · Banglong Liu, Niuniu Qi, et al. · IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings - IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings · 1
Incremental Synthesis of Safe Controller Guided by Learning-Enabled Barrier Certificates with Efficient LP Verification
2026 · Niuniu Qi, Hanrui Zhao, et al. · Lecture notes in computer science
PDF
A Thought Experiment for Making Computers to Discover Euclidean Geometry Theorems Automatically
2025 · Zhenbing Zeng, Jian Lu, et al. · International Conference on Information Technology: IoT and Smart City (ICIT)
An iterative scheme of hybrid controller synthesis for nonlinear systems subject to safety constraints
2025 · Niuniu Qi, Xia Zeng, et al. · Information and Computation
Learning-enabled Polynomial Lyapunov Function Synthesis via High-Accuracy Counterexample-Guided Framework
2025 · Hanrui Zhao, Niuniu Qi, et al. · IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings - IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings
FrameProver: Leveraging Formal Frameworks in Building Proofs for Enhanced Inference
2025 · Haojia Shan, Beibei Xiong, et al. · Lecture notes in computer science
Global Optimization for Heilbronn Problem of Convex Polygons Based on Bilinear Matrix Inequalities Solving
2024 · Niuniu Qi, Lydia Dehbi, et al. · Journal of Systems Science and Complexity
Works count: 13
Citation count: 30
H-index: 3
I10-index: 1
Year
Topic
Type