Pei Huang - RankMe

34 papers A* 11A 5B 1Journal 12Unranked 5

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Parameterized Abstract Interpretation for Transformer Verification. AAAI Pei Huang, Dennis Wei, Omri Isac, Haoze Wu, Min Wu, Clark W. Barrett
2025	A*	`conf`	A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic. AAAI Fuqi Jia, Yuhang Dong, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian Zhang
2025	J	`jnl`	Are your apps accessible? A GCN-based accessibility checker for low vision users. CoRR Mengxi Zhang, Huaxiao Liu, Shenning Song, Chunyang Chen, Pei Huang, Jian Zhao
2025	J	`jnl`	Distinguishing GUI Component States for Blind Users Using Large Language Models. ACM Trans. Softw. Eng. Methodol. Mengxi Zhang, Huaxiao Liu, Changhao Du, Tengmei Wang, Han Li, Pei Huang, Chunyang Chen
2025	J	`jnl`	Don't Confuse! Redrawing GUI Navigation Flow in Mobile Apps for Visually Impaired Users. CoRR Mengxi Zhang, Huaxiao Liu, Yuheng Zhou, Chunyang Chen, Pei Huang, Jian Zhao
2024	J	`jnl`	A prompt-based approach to adversarial example generation and robustness enhancement. Frontiers Comput. Sci. Yuting Yang, Pei Huang, Juan Cao, Jintao Li, Yun Lin, Feifei Ma
2024	J	`jnl`	Are your apps accessible? A GCN-based accessibility checker for low vision users. Inf. Softw. Technol. Mengxi Zhang, Huaxiao Liu, Shenning Song, Chunyang Chen, Pei Huang, Jian Zhao
2024	J	`jnl`	Don't Confuse! Redrawing GUI Navigation Flow in Mobile Apps for Visually Impaired Users. IEEE Trans. Software Eng. Mengxi Zhang, Huaxiao Liu, Yuheng Zhou, Chunyang Chen, Pei Huang, Jian Zhao
2024	—	`conf`	Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. CAV (2) Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett
2024	J	`jnl`	Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. CoRR Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett
2024	—	`conf`	PAD: A Robustness Enhancement Ensemble Method via Promoting Attention Diversity. LREC/COLING Yuting Yang, Pei Huang, Feifei Ma, Juan Cao, Jintao Li
2024	—	`conf`	Parallel Verification for δ-Equivalence of Neural Network Quantization. SAIV Pei Huang, Yuting Yang, Haoze Wu, Ieva Daukantas, Min Wu, Fuqi Jia, Clark W. Barrett
2024	A*	`conf`	Towards Efficient Verification of Quantized Neural Networks. AAAI Pei Huang, Haoze Wu, Yuting Yang, Ieva Daukantas, Min Wu, Yedi Zhang, Clark W. Barrett
2023	A*	`conf`	A Dual Prompt Learning Framework for Few-Shot Dialogue State Tracking. WWW Yuting Yang, Wenqiang Lei, Pei Huang, Juan Cao, Jintao Li, Tat-Seng Chua
2023	A*	`conf`	Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract). AAAI Minghao Liu, Pei Huang, Fuqi Jia, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang
2023	A	`conf`	Improving Bit-Blasting for Nonlinear Integer Constraints. ISSTA Fuqi Jia, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian Zhang
2023	—	`conf`	Investigating the Existence of Holey Latin Squares via Satisfiability Testing. PRICAI (2) Minghao Liu, Rui Han, Fuqi Jia, Pei Huang, Feifei Ma, Hantao Zhang, Jian Zhang
2023	A*	`conf`	NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization. ASE Minghao Liu, Kunhang Lv, Pei Huang, Rui Han, Fuqi Jia, Yu Zhang, Feifei Ma, Jian Zhang
2023	A*	`conf`	PSMT: Satisfiability Modulo Theories Meets Probability Distribution. ASE Fuqi Jia, Rui Han, Xutong Ma, Baoquan Cui, Minghao Liu, Pei Huang, Feifei Ma, Jian Zhang
2023	—	`conf`	Quantifying Robustness to Adversarial Word Substitutions. ECML/PKDD (1) Yuting Yang, Pei Huang, Juan Cao, Feifei Ma, Jian Zhang, Jintao Li
2023	A*	`conf`	Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning. NeurIPS Fuqi Jia, Yuhang Dong, Minghao Liu, Pei Huang, Feifei Ma, Jian Zhang
2023	J	`jnl`	Towards Efficient Verification of Quantized Neural Networks. CoRR Pei Huang, Haoze Wu, Yuting Yang, Ieva Daukantas, Min Wu, Yedi Zhang, Clark W. Barrett
2022	J	`jnl`	A Prompting-based Approach for Adversarial Example Generation and Robustness Enhancement. CoRR Yuting Yang, Pei Huang, Juan Cao, Jintao Li, Yun Lin, Jin Song Dong, Feifei Ma, Jian Zhang
2022	J	`jnl`	Quantifying Robustness to Adversarial Word Substitutions. CoRR Yuting Yang, Pei Huang, Feifei Ma, Juan Cao, Meishan Zhang, Jian Zhang, Jintao Li
2022	A*	`conf`	Word Level Robustness Enhancement: Fight Perturbation with Perturbation. AAAI Pei Huang, Yuting Yang, Fuqi Jia, Minghao Liu, Feifei Ma, Jian Zhang
2022	A	`conf`	ε-weakened robustness of deep neural networks. ISSTA Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, Feifei Ma, Jian Zhang
2021	J	`jnl`	Can Graph Neural Networks Learn to Solve MaxSAT Problem? CoRR Minghao Liu, Fuqi Jia, Pei Huang, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang
2021	A	`conf`	Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5. SAT Pei Huang, Rundong Li, Minghao Liu, Feifei Ma, Jian Zhang
2021	J	`jnl`	ε-weakened Robustness of Deep Neural Networks. CoRR Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, Feifei Ma, Jian Zhang
2020	A	`conf`	Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks. CP Minghao Liu, Fan Zhang, Pei Huang, Shuzi Niu, Feifei Ma, Jian Zhang
2019	A*	`conf`	Approximating Integer Solution Counting via Space Quantification for Linear Constraints. IJCAI Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang
2019	B	`conf`	Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. ISSAC Pei Huang, Minghao Liu, Cunjing Ge, Feifei Ma, Jian Zhang
2019	A*	`conf`	Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring. IJCAI Pei Huang, Minghao Liu, Ping Wang, Wenhui Zhang, Feifei Ma, Jian Zhang
2018	A	`conf`	Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing. IJCAR Pei Huang, Feifei Ma, Cunjing Ge, Jian Zhang, Hantao Zhang