About me

取法乎上, 仅得其中.

Currently, I am a 3rd year PhD student at The Hong Kong University of Science and Technology(HKUST), advised by Prof. Jia Li and Prof. Xiaofang Zhou.

Previously, I received my MPhil degree from the Sun Yat-sen University in 2021, where I was fortunate to be advised by Prof. Xiaodan Liang. I obtained my bachelor degree in Mathematics from Soochow University in 2019.

Research Interests

My research interest in general lies in graph learning, anomaly detection, and optimal transport.

Selected First-Author Publications

(^: Equal Contribution)

Other Publications

Please refer to my Google Scholar for a complete pubilication list.

  • DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction
    [paper] AIG2INV
    Guangyu Hu, Jianheng Tang, Changyuan Yu, Wei Zhang, Hongce Zhang
    ASP-DAC 2024

  • Outlier-Robust Gromov Wasserstein for Graph Data
    [paper] Outlier-Robust-GW
    Lemin Kong, Jiajin Li, Jianheng Tang, Anthony Man-Cho So*
    NeurIPS 2023 (Spotlight)

  • A Convergent Single-Loop Algorithm for Relaxation of Gromov-Wasserstein in Graph Data
    [paper] Gromov-Wasserstein-for-Graph
    Jiajin Li, Jianheng Tang, Lemin Kong, Huikang Liu, Jia Li, Anthony Man-Cho So, Jose Blanchet
    ICLR 2023

  • “My nose is running.”“Are you also coughing?”: Building A Medical Diagnosis Agent with Interpretable Inquiry Logics
    [paper] BR-Agent
    Wenge Liu, Yi Cheng, Hao Wang, Jianheng Tang, Yafei Liu, Ruihui Zhao, Wenjie Li, Yefeng Zheng, Xiaodan Liang
    IJCAI 2022

  • MedDG: An Entity-Centric Medical Consultation Dataset for Entity-Aware Medical Dialogue Generation
    [paper] MedDG
    Wenge Liu^, Jianheng Tang^, Yi Cheng^, Wenjie Li, Yefeng Zheng, Xiaodan Liang
    NLPCC 2022

  • Neural-Symbolic Solver for Math Word Problems with Auxiliary Tasks
    [paper] NS-Solver
    Jinghui Qin, Xiaodan Liang, Yining Hong, Jianheng Tang, Liang Lin
    ACL 2021

  • Dynamic Knowledge Routing Network For Target-Guided Open-Domain Conversation
    [paper] TGODC-DKRN
    Jinghui Qin, Zheng Ye, Jianheng Tang, Xiaodan Liang
    AAAI 2020

  • End-to-End Knowledge-Routed Relational Dialogue System for Automatic Diagnosis
    [paper] Medical_DS
    Lin Xu, Qixian Zhou, Ke Gong, Xiaodan Liang, Jianheng Tang, Liang Lin
    AAAI 2019 (Oral)