1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.CV2023
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…
cs.AI2023★ 1 cited
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…