127 citations · 203 across the 11 of their papers we have counts for
4 papers · 1 filter
New Characterizations and Efficient Local Search for General Integer Linear Programming
Peng Lin, Shaowei Cai, Mengchuan Zou +1
Integer linear programming (ILP) models a wide range of practical combinatorial optimization problems and significantly impacts industry and management sectors. This work proposes…
LANDMARK: Language-guided Representation Enhancement Framework for Scene Graph Generation
Xiaoguang Chang, Teng Wang, Shaowei Cai +1
Scene graph generation (SGG) is a sophisticated task that suffers from both complex visual features and dataset long-tail problem. Recently, various unbiased strategies have been p…
Local Search For SMT On Linear and Multilinear Real Arithmetic
Bohan Li, Shaowei Cai
Satisfiability Modulo Theories (SMT) has significant application in various domains. In this paper, we focus on quantifier-free Satisfiablity Modulo Real Arithmetic, referred to as…
Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks
Pengfei Yang, Zhiming Chi, Zongxin Liu +4
Constraint solving is an elementary way for verification of deep neural networks (DNN). In the domain of AI safety, a DNN might be modified in its structure and parameters for its…