Tianshi Zheng 郑天石 Stone

Bibliography

Hello there!
I’m a Ph.D. student in Computer Science at the Hong Kong University of Science and Technology (HKUST) starting from 2024, advised by Prof. Yangqiu Song. I’m also a research intern at NVIDIA AI Technology Center. Prior to that, I obtained two bachelor’s degrees in Computer Science and General Business Management from the Dual Degree Program at the same institution with the highest distinction.

Research Interests

I am generally interested in Natural Language Processing and Logical Inference.
During my undergraduate study, I explored complex logical reasoning under diverse modalities and scenarios (SQE, CLR-Fact, EduKDQA). My recent research interest mainly includes:

• Abductive Reasoning: Explanatory Hypothesis Generation (LogiDynamics, AbductiveKGR)
• Deductive Reasoning: Entailment Verification with Uncertainty (TEGA)
• Logical Inference under Generalization (The Curse of CoT)
• Downstream Applications: Scientific Discovery and Multi-Agent Interaction

Awards

• Hong Kong PhD Fellowship 2024
• HKUST RedBird PhD Scholarship 2024
• HKUST Academic Achievement Medal (~top 1% graduate)
• HKUST Dean's Lists (7 semesters)

Academic Service

Conference Reviewer: ACL Rolling Review (2023, 2024, 2025), EMNLP 2023, KDD 2024, NLPCC 2024, ICLR 2025, COLM 2025