Pei Huang
9 papers · 2019–2026 · 4 venues · 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 ↓+3 more ↓ Show less ↑
🐣 Hot Topic Early Bird 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Bronze 🗺️ Taxonomy Completionist (21) 🌍 Conference Polyglot · Bronze
🧬
Topic Evolution
🔥
Unstoppable · Bronze
❓
The Questioner
Venues
Top co-authors
Research topics
Artificial Intelligence
(5)
Machine Learning
(5)
Core AI
(5)
Deep Learning
(4)
Optimization & Theory
(3)
Mathematics & Optimization
(2)
Architectures
(2)
Learning Types · Machine Learning
(2)
Mathematics
(2)
Computer Science
(1)
Reinforcement Learning
(1)
Foundations
(1)
Learning Types · Deep Learning
(1)
Methods
(1)
Optimization
(1)
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
Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract)
AAAI 2023
Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning
NeurIPS 2023
Word Level Robustness Enhancement: Fight Perturbation with Perturbation
AAAI 2022
Approximating Integer Solution Counting via Space Quantification for Linear Constraints
IJCAI 2019
Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring
IJCAI 2019