about
publications
projects
teaching
news (current)

news

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

© Copyright 2026 Wilson Sy. Powered by Jekyll with al-folio theme. Last updated: May 09, 2026.