Yuhe Sissi Jiang

About Me

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

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

Education

Ph.D. in Computer Science
University of Toronto
January 2025 - Present

Master of Science in Computer Science
University of Toronto
September 2023 - Dec 2024

Bachelor of Science in Statistics and Computer Science (Honours)
McGill University
September 2020 - May 2023

Publication

"TYPYBENCH: Evaluating LLM Type Inference for Untyped Python Repositories" ICML 2025.

"Learning Reliable Logical Rules with SATNet" NeurIPS 2023.

Teaching

I have served as a Teaching Assistant for the following courses:

• CSC373 Algorithm Design, Analysis, and Complexity -- University of Toronto (Winter 2025)
• CSC2547/CSC2108 Automated Reasoning with Machine Learning -- University of Toronto (Winter 2024/Fall 2024)
• CSC110 Foundations of Computer Science -- Univeristy of Toronto (Fall 2023)
• COMP360 Algorithm Design -- McGill University (Fall 2022)
• MATH150/151 Calculus A/B -- McGill University (Fall 2021/Winter 2022)

Contact

yuhe.jiang@mail.utoronto.ca