胡文超 Wen-Chao Hu Ph.D. Candidate, LAMDA Group School of Artificial Intelligence Nanjing University, Nanjing 210023, China Supervisor: Prof. Yuan Jiang and Zhi-Hua Zhou Email: huwc@lamda.nju.edu.cn

Biography

Currently I am a fourth-year graduate student of School of Artificial Intelligence in Nanjing University and a member of LAMDA Group, led by professor Zhi-Hua Zhou.

I received my B.Sc. degree from School of Intelligent Systems Engineering in June 2021 from Sun Yat-sen University. In the same year, I was admitted to pursue a Ph.D. degree in Nanjing University without entrance examination.

Research Interests

My research interests include machine learning and data mining. Most recently, I am interested in:

• Neural-Symbolic Methods and Abductive Learning: Integrating the power of data-driven AI (e.g., machine learning) and knowledge-driven AI (e.g., symbolic logical reasoning).

Publication

• [AAAI’25] Wen-Chao Hu, Wang-Zhou Dai, Yuan Jiang, and Zhi-Hua Zhou.
  Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection.
  In: Proceedings of the 39th AAAI Conference on Artificial Intelligence, Philadelphia, USA, 2025. Page: to appear. [paper, poster, bibtex]  Outstanding Paper Award


• [FCS’24] Yu-Xuan Huang, Wen-Chao Hu, En-Hao Gao, and Yuan Jiang.
  ABLkit: A Python Toolkit for Abductive Learning.
  Frontiers of Computer Science, 2024, 18(6):186354. [paper, bibtex]


• [AAAI’24] En-Hao Gao, Yu-Xuan Huang, Wen-Chao Hu, Xin-Hao Zhu, and Wang-Zhou Dai.
  Knowledge-Enhanced Historical Document Segmentation and Recognition.
  In: Proceedings of the 38th AAAI Conference on Artificial Intelligence, Vancouver, Canada, 2024. Page: 15310-15318. [paper, bibtex]  (Oral)

Projects

• ABLkit [GitHub, PyPI]: I am the core developer and current maintainer of ABLkit, an efficient open-source toolkit for abductive learning, which leverages the power of both data and knowledge. For more information, please refer to: ABLkit Documentation.

Awards

• Outstanding Paper Award of AAAI 2025. (3 outstanding papers out of 12,957 submissions)

• Second Prize (3rd place), Greater Bay Area International Algorithm Competition, 2022. (with En-Hao Gao, Yu-Xuan Huang, Xin-Hao Zhu, and Wang-Zhou Dai; shared a prize of ¥100,000)

• Outstanding Bachelor's Thesis of Sun Yat-sen University, 2021.

Teaching Assistant

• Digital Signal Processing (with Prof. Wei Wang; 2022 fall, 2023 fall, 2025 spring)

• Introduction to Machine Learning (with Prof. Zhi-Hua Zhou; 2022 fall, 2024 spring)

• Mathematical Logic (with Dr. Cunjing Ge; 2023 spring, 2024 spring)

• Symbolic Learning (with Assoc. Prof. Wang-Zhou Dai; 2022 spring)

Academic Service

• PC Member or Reviewer for Conferences: NeurIPS (2024, 2025), NeSy (2024, 2025), IJCLR (2024), ICLR (2025), AISTATS (2025), ICML (2025), IJCAI (2025).

• Volunteer for Conferences: MLA (2023), IJCLR (2024).

• Server Administrator for LAMDA group, 2021-2022.

Miscellaneous

• We hold a weekly Abductive Learning (ABL) Seminar. I serve as the seminar organizer and website maintainer. If you are interested in joining, feel free to contact me.

• I am an enthusiast of strength training (fitness/CrossFit) and road bycicle racing, see photos here.

Correspondence

Email:
huwc@lamda.nju.edu.cn

Office:
Room 912, Computer Science Building, Xianlin Campus of Nanjing University

Mail Address:
National Key Laboratory for Novel Software Technology, Nanjing University, Xianlin Campus, 163 Xianlin Avenue, Qixia District, Nanjing 210023, China
(江苏省南京市栖霞区仙林大道163号, 南京大学仙林校区, 软件新技术国家重点实验室, 210023)