Reasoning about Block-based Cloud Storage Systems. - Zhao Jin; Hanpin Wang; Lei Zhang; Bowen Zhang; Kun Gao 003; Yongzhi Cao (CoRR, 2019)

Learning First-Order Rules with Differentiable Logic Program Semantics. - Kun Gao 003; Katsumi Inoue; Yongzhi Cao; Hanpin Wang (IJCAI, 2022)

Learning from interpretation transition using differentiable logic programming semantics. - Kun Gao 003; Hanpin Wang; Yongzhi Cao; Katsumi Inoue (Mach. Learn., 2022)

Reinforcement Logic Rule Learning for Temporal Point Processes. - Chao Yang; Lu Wang 029; Kun Gao 003; Shuang Li 002 (CoRR, 2023)

A differentiable first-order rule learner for inductive logic programming (Abstract Reprint). - Kun Gao 003; Katsumi Inoue; Yongzhi Cao; Hanpin Wang (IJCAI, 2024)

A differentiable first-order rule learner for inductive logic programming. - Kun Gao 003; Katsumi Inoue; Yongzhi Cao; Hanpin Wang (Artif. Intell., 2024)

Differentiable Rule Induction from Raw Sequence Inputs. - Kun Gao 003; Katsumi Inoue; Yongzhi Cao; Hanpin Wang; Yang Feng (ICLR, 2025)