---
title: Contributors
dek: People contributing to 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