CV

Education, research, awards, teaching, and academic service.

Contact Information

Name Jialiang Sun
Professional Title Ph.D. student in Computer Science
Email sjl@cs.toronto.edu

Professional Summary

I develop neurosymbolic frameworks for automated theorem proving, autoformalization, and constrained generation by combining symbolic methods and large language models. My research lies at the intersection of AI and formal methods.

Education

  • 2023 - present

    Toronto, Canada

    Ph.D.
    University of Toronto
    Computer Science
    • Expected completion: September 2028.
    • Supervisor: Kuldeep Meel.
    • Committee: Colin Raffel and Chris Maddison.
    • Research: automated reasoning, formal methods, and large language models.
  • 2021 - 2023

    Toronto, Canada

    Honours Bachelor of Science
    University of Toronto
    Computer Science
    • Computer Science major; Mathematics and Statistics minors.
    • Cumulative GPA: 3.99/4.00; major GPA: 4.00/4.00.
    • Dean’s List Scholar, 2021–2023.
  • 2018 - 2021

    Canada

    High School
    White Oaks Secondary School

Awards

  • 2024–2026
    Ontario Graduate Scholarship (OGS)
    Ontario Graduate Scholarship Program

    Merit-based graduate scholarship valued at CA$15,000 per year.

Teaching

Introduction to Artificial Intelligence (CSC384): Teaching Assistant, University of Toronto — 2024, 2025, 2026.
Introduction to Databases (CSC343): Teaching Assistant, University of Toronto — 2023.

Academic Service

Reviewer: NeurIPS (2024–2025), TMLR (2024–2026), ICLR (2025–2026), and ICML (2025–2026).

Publications