Niuniu Qi
2 papers · 2025–2025 · 1 venue · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌉
Interdisciplinary Bridge · Silver
🗺️
Taxonomy Completionist
(12)
Venues
Top co-authors
Research topics
Keywords
reinforcement learning
(1)
automated reasoning
(1)
stability analysis
(1)
lyapunov function
(1)
linear programming
(1)
automated theorem proving
(1)
fast fourier transform
(1)
linear matrix inequality
(1)
polynomial network
(1)
sum of square
(1)
neural network
(1)
control system
(1)
polynomial inequality
(1)
krivine basis
(1)
polynomial inequality proving
(1)
basis selection
(1)
polynomial lyapunov function
(1)
counterexample guidance
(1)