Personal academic page

Sijie Liang

M.S. Student in Computer Science
Peking University

About

I work on program formalization and large language models, with a particular interest in making LLM-generated code more reliable.

Education

M.S. in Computer Science. Advisor: Sergey Mechtaev.

2026.09 - present

B.S. in Mathematics.

Selected publications

01
Reducing Hallucinations in LLM-Generated Code via Semantic Triangulation
Yihan Dai, Sijie Liang, Haotian Xu, Peichu Xie, and Sergey Mechtaev
OOPSLA 2026, submitted
02
FormaRL: Enhancing Autoformalization with no Labeled Data
Yanxing Huang, Xinling Jin, Sijie Liang, Peng Li, and Yang Liu
COLM 2025
03
Deep Multi-view Least Squares Support Vector Machine with Consistency and Complementarity Principle based on Cross-Output Knowledge Transfer
Shuangrui Jia, Sijie Liang, Ziyi Mo, Chunxiao Liu, Huiru Wang, and Chen Chen
Expert Systems with Applications, 298, Article 129406, 2026