PPaperPicks

Jianfeng Du

7 papers at tracked venues · 4 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

ICDE ×2ISSTA ×2AAAI ×1ACL ×1CIKM ×1

Frequent coauthors

Hai Wan
×7
Kunxun Qi
×4
Weilin Luo
×4
Yanan Liu
×2
Junming Qiu
×2
Bo Peng
×2
Pingjia Liang
×2
Wei Wang
×1
Junhua Ma
×1
Yue Yu
×1
Tingchen Han
×1
Guohui Xiao
×1

Papers

  1. Reconstructing TensorLog for Scalable End-to-End Rule Learning
    ICDE 2026 ·
    Kunxun Qi
    , Jianfeng Du,
    Hai Wan
    ,
    Wei Wang
  2. Semantic Compression for Sound and Complete Query Answering Over Knowledge Graphs
    ICDE 2026 ·
    Junhua Ma
    , Jianfeng Du,
    Hai Wan
    ,
    Yue Yu
    ,
    Kunxun Qi
    ,
    Weilin Luo
    ,
    Yanan Liu
  3. NADA: Neural Acceptance-Driven Approximate Specification Mining
    ISSTA 2025 ·
    Weilin Luo
    ,
    Tingchen Han
    ,
    Junming Qiu
    ,
    Hai Wan
    , Jianfeng Du,
    Bo Peng
    ,
    Guohui Xiao
    ,
    Yanan Liu
  4. Bi-directional Learning of Logical Rules with Type Constraints for Knowledge Graph Completion
    CIKM 2024 ·
    Kunxun Qi
    , Jianfeng Du,
    Hai Wan
  5. End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding
    AAAI 2024 ·
    Hai Wan
    ,
    Pingjia Liang
    , Jianfeng Du,
    Weilin Luo
    ,
    Rongzhen Ye
    ,
    Bo Peng
  6. End-to-end Learning of Logical Rules for Enhancing Document-level Relation Extraction
    ACL 2024 ·
    Kunxun Qi
    , Jianfeng Du,
    Hai Wan
  7. Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking
    ISSTA 2024 ·
    Weilin Luo
    ,
    Pingjia Liang
    ,
    Junming Qiu
    ,
    Polong Chen
    ,
    Hai Wan
    , Jianfeng Du,
    Weiyuan Fang