About Me

I am a Ph.D. student in the Department of Computer Science at the University of Toronto, supervised by Xujie Si.

My interests broadly include vision-language reasoning, neuro-symbolic methods, formal verification, logical reasoning, and AI interpretability and explainability.

Education

Doctor of Philosophy (Ph.D.) in Computer Science Jan 2025 - Present
University of Toronto

Transitioned from MSc. Program; Supervised by Xujie Si. GPA: 4.0/4.0.

Master of Science in Computer Science Sept 2023 - Dec 2024
University of Toronto
B.Sc. in Honours Statistics and Computer Science Sept 2020 - May 2023
McGill University

Selected Awards: NSERC, Faculty of Science Scholarship, JW McConnell Scholarship, Dean's Honours List.

Publications

DM-VQA: Benchmarking Cross-Modality Reasoning under Disjoint Information
Yuhe Jiang, Hangrui Bi, Youyuan Zhang, Xujie Si (Under Review, Jan 2026)

Benchmarking cross-modality reasoning under disjoint information in multimodal large language models.

VISIONLOGIC: Learning Interpretable Logic Rules from Deep Vision Models
Chuqin Geng, Yuhe Jiang, Ziyu Zhao, Haolin Ye, Zhaoyue Wang, Xujie Si (Under Review, Jan 2026)

Developing an interpretable explanation method to extract decision logic from deep vision models.

LOGICXGNN: Grounded Logical Rules for Explaining Graph Neural Networks
Chuqin Geng, Ziyu Zhao, Zhaoyue Wang, Haolin Ye, Yuhe Jiang, Xujie Si (ICLR 2026)

Constructing logical rules to capture GNN message-passing structures for high-fidelity explanations.

TYPYBENCH: Evaluating LLM Type Inference for Untyped Python Repositories
Honghua Dong, Jiacheng Yang, Xun Deng, Yuhe Jiang, Gennady Pekhimenko, Fan Long, Xujie Si (ICML 2025)

Benchmarking LLM capabilities for data type inference in real-world Python codespaces.

Learning Reliable Logical Rules with SATNet
Zhaoyu Li, Jinpei Guo, Yuhe Jiang, Xujie Si (NeurIPS 2023)

Extracting and verifying reliable logical rules from neuro-symbolic models in puzzle domains.

Teaching Experience

Teaching Assistant Sept 2023 - Present
University of Toronto | ON
  • CSC2547 & CSC2108: Automated Reasoning with Machine Learning (Winter 2024, Fall 2024, Fall 2025). Held weekly office hours, monitored the Ed discussion board, designed and graded assignments, and helped students prepare for paper presentations.
  • CSC373: Algorithm Design, Analysis, and Complexity (Winter 2025). Assisted and graded assignments and exams; monitored Piazza discussion board.
  • CSC324: Principles of Programming Languages (Fall 2024). Held weekly tutorials to help students understand Racket and Haskell programs.
  • CSC110: Foundations of Computer Science (Fall 2023). Held weekly office hours and tutorials, graded assignments and exams.
Teaching Assistant Sept 2021 - May 2023
McGill University | QC
  • COMP 360: Algorithm Design (Fall 2022). Held weekly office hours, designed and hosted exam reviews, graded assignments and exams.
  • MATH150 & MATH151: Calculus (Fall 2021, Winter 2022). Held weekly tutorials on single/multi-variable calculus and vector calculus.