About Me
I graduated with the Honours Bachelor of Science at the University of Toronto with Computer Science Specialist and Math Minor. I was supervised by Gerald Penn and Roger Grosse during my undergrad.
When I graduated, I won Rose Sheinin Award and St.Michael College Gold Medals. I Nominated by the Governor General’s Silver Medals. Here are the links: link, link.
Now I am a PhD candidate in the Department of Computer Science at University of Toronto, supervised by Gerald Penn.
Research and Interests
Language Modelling, Grammars, AI system optimizing, Math.
Publications:
PolyMorphous: An MLIR-Based Polyhedral Compiler with Loop Transformation Primitives. Jinman Zhao, A. Wang, A. Vahabpour, X. Yue and T.Abdelrahman. IPDPS 2025 (best paper nomination)
Inside-Outside Algorithm for Probabilistic Product-Free Lambek Categorial Grammar.Jinman Zhao and Gerald Penn. COLING 2025
Categorial Grammar Suppertagging via Large Language Model.Jinman Zhao and Gerald Penn. EMNLP 2024
Large Language Model is not a (Multilingual) Compositional Relation Reasoner.Jinman Zhao* and Xueyan Zhang*. COLM2024
CD_Pos:Long Context Generalization in LLMs Through Continuous and Discrete Position Synthesis.Zhiyuan Hu, Yuliang Liu, Jinman Zhao, Suyuchen Wang, Wangyan, Wei Shen, Chao Yin, Bryan Hooi. LCFM@ICML2024
GPT-Signal: Generative AI for Semi-automated Feature Engineering in the Alpha Research Process. Yining Wang, Jinman Zhao and Lawryshyn Yuri. FINNLP-AGENTSCEN@IJCAI2024
A Generative Model For Lambek Categorial Sequents. Jinman Zhao and Gerald Penn. COLING 2024.
A Generative Process for Lambek Categorial Proof Nets. Jinman Zhao and Gerald Penn. MOL2021.
Structural Realization with GGNNs. Jinman Zhao and Gerald Penn. 2021. TEXTGRAPHS@NAACL 2021.
Talks:
A Generative Process for Lambek Categorial Proof Nets. @ MOL2021
Structural Realization with GGNNs. @ Textgraphs @ NAACL2021
A TVM IR to MLIR Automatic Converter: Bridging TVM with MLIR ecosystem. @ TVM Conf 2020
Teaching Assistant
Introduction to Machine Learning.
Algorithms.
Data structures.
Calculus I&II.
Linear Algebra.
Resume
maxim
Friend
@
@