Pei Huang
9 papers
· 2019–2026
· 4 conferences
· across top CS/AI conferences
Achievements
π
Cross-Pollinator
(15)
π
Conference Polyglot
(4)
π
Academic Marathon
(6)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(21)
π§
Keyword Pioneer
π
Renaissance Researcher
(6)
π§¬
Topic Evolution
π₯
Unstoppable
(5)
β
The Questioner
Conferences
AAAI (5)
IJCAI (2)
COLING (1)
NIPS (1)
Top co-authors
Keywords
neural network verification
(2)
robustness enhancement
(2)
graph neural network
(2)
formal verification
(2)
adversarial attack
(2)
deep neural network
(1)
neural network optimization
(1)
symbolic reasoning
(1)
approximation algorithm
(1)
robustness verification
(1)
symbolic computation
(1)
linear constraint
(1)
deep learning
(1)
ensemble method
(1)
smt solving
(1)
integer linear programming
(1)
sat solver
(1)
volume computation
(1)
graph coloring
(1)
model robustness
(1)