Xiaopei Wan

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 7

Top Topics

Quantifier Free

Inference Rules

Top Venues

Publications

Weidi Xu, Jingwei Wang, Lele Xie, Jianshan He, Hongting Zhou, Taifeng Wang, Xiaopei Wan, Jingdong Chen, Chao Qu, Wei Chu
LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints. ICLR (2024)
Zhongshu Zhu, Bin Jing, Xiaopei Wan, Zhizhen Liu, Lei Liang, Jun Zhou
GLISP: A Scalable GNN Learning System by Exploiting Inherent Structural Properties of Graphs. CoRR (2024)
Weidi Xu, Jingwei Wang, Lele Xie, Jianshan He, Hongting Zhou, Taifeng Wang, Xiaopei Wan, Jingdong Chen, Chao Qu, Wei Chu
LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints. CoRR (2023)
Xiaopei Wan, Guoqiu Li, Yujiu Yang, Zhenhua Guo
Augmenting Anchors by the Detector Itself. IJCAI (2022)
Xiaopei Wan, Shengjie Chen, Yujiu Yang, Zhenhua Guo, Fangbo Tao
Augmenting Anchors by the Detector Itself. CoRR (2021)
Xiaopei Wan, Zhenhua Guo, Chao He, Yujiu Yang, Fangbo Tao
Augmenting Proposals by the Detector Itself. CoRR (2021)
Yingcheng Su, Xiaopei Wan, Zhenhua Guo
Robust Face Detector with Fully Convolutional Networks. PRCV (3) (2018)