Academic

Yiyang Liu

Mathematics and logic at Carnegie Mellon University.

I go by Louis and publish as Yiyang Liu.

Research interests

Foundations: Logic (formal and informal); metatheory of science
Methods: Axiomatization; formalization; interactive and automated theorem proving
Fields: Mathematics, physics, computer science, and neuroscience

I study mathematics, with a focus on discrete mathematics and logic, at Carnegie Mellon University. I write proofs in Lean.

Publications & preprints

2026PreprintarXiv:2610.27046

ReuF2F: Benchmarking Coding Agents on Formalized Undergraduate Research Problems

Zeyu Zheng^*, Yiyang Liu^*, Yuyang Zhao^*, et al.

^* Equal contribution.

All 23 authors

Zeyu Zheng^*, Yiyang Liu^*, Yuyang Zhao^*, Congmin Zheng, Jiachen Zhu, Jianian Chen, Kangning Zhang, Kayue Daniel Wong, Lingyu Yang, Rong Shan, Shihao Chen, Thomas Zhu, Wentao Zhang, Xiaopeng Li, Yan Hu, Yongxi Lin, Yuxiang Chen, Zhuoying Ou, Jianghao Lin, Jeremy Avigad, Prasad Tetali, Jingbang Chen, Sean Welleck.

A benchmark of 244 open problems from undergraduate research, formalized in Lean 4, for evaluating coding agents on proving statements or their negations.

Current work

Axiomatization of Classical Mechanics

I am working on an axiomatization of classical mechanics.

I also write about mathematics and logic in my notes and longer series.