---
title: 贡献者
dek: 参与 verifiable.pro 的贡献者。
published: 2026-10-24
---
- [Mengyuan Li](https://septlab.com/people.html#pi-h) · USC
- [Murali Annavaram](https://scip-lab.usc.edu/people.html) · USC
- [Vincent Ulitzsch](https://www.csail.mit.edu/person/vincent-ulitzsch) · MIT
- [Yongqin Wang](https://yongqinw.github.io/) · Roblox
- [Haoxuan Xu](https://terryxu.site/) · USC
- [Beijie Liu](https://septlab.com/people.html#group-1-h) · USC