Wilson Sy

[firstname]s[at]cs.toronto.edu

PLSE group, Bahen Centre for Information Technology

I am an incoming MSc student in the Department of Computer Science at the University of Toronto, where I will be supervised by Marsha Chechik. My work primarily concerns combining formal methods and logic with neural AI towards human-AI cooperation and trustworthy AI, but I am still exploring my interests. I completed my BSc also at the University of Toronto, with majors in Computer Science and Linguistics.

In my free time, I enjoying watching anime, dancing, and listening to Vocaloid music.

English is my first language, but I also speak French and Japanese to some extent. I am a heritage speaker of Cantonese.

news

Jan 26, 2026	My paper on math autoformalization is accepted to ICLR 2026!

selected publications

Divide and abstract: Autoformalization via decomposition and abstraction learning

Marcus J. Min, Yeqi Gao, Wilson Sy, and 3 more authors

In The Fourteenth International Conference on Learning Representations, 2026

ICLR 2026 Poster Bib PDF

Accepted to ICLR 2026 as a poster (27% acceptance rate)

@inproceedings{min_divide_2026,
  title = {Divide and abstract: {Autoformalization} via decomposition and abstraction learning},
  url = {https://openreview.net/forum?id=NjgaeXNit3},
  language = {en},
  booktitle = {The {Fourteenth} {International} {Conference} on {Learning} {Representations}},
  author = {Min, Marcus J. and Gao, Yeqi and Sy, Wilson and Li, Zhaoyu and Si, Xujie and Bastani, Osbert},
  year = {2026},
}