Home Research Publications Projects Blog Contact

GitHub Portfolio

My Projects

Open-source work, research prototypes, and side projects from GitHub.

<Austin Shen/>

Math & Data Science @ University of Michigan.
Building at the intersection of AI and formal reasoning.

Navigation

Home
Projects
Blog
Contact

Connect

GitHub
LinkedIn
austinsz@umich.edu

© 2026 Austin Shen. All rights reserved.

Built with Next.js · Deployed on Vercel