Niuniu Qi
2 papers
· 2025–2025
· 1 conference
· across top CS/AI conferences
Achievements
π
Renaissance Researcher
(5)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(12)
π§
Keyword Pioneer
π
Cross-Pollinator
(15)
Conferences
CVPR (2)
Top co-authors
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)