Pei Huang
9 papers · 2019–2026 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
π 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)
Papers
Parameterized Abstract Interpretation for Transformer Verification
AAAI 2026
A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic
AAAI 2025
PAD: A Robustness Enhancement Ensemble Method via Promoting Attention Diversity
COLING 2024
Towards Efficient Verification of Quantized Neural Networks
AAAI 2024
Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning
NIPS 2023
Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract)
AAAI 2023
Word Level Robustness Enhancement: Fight Perturbation with Perturbation
AAAI 2022
Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring
IJCAI 2019
Approximating Integer Solution Counting via Space Quantification for Linear Constraints
IJCAI 2019