Siyuan Song
Built at Meta Global AI Developer Hackathon · Oct 26, 2026 · Remote
My project is called ProofStudio. It's generating proofs e2e from screenshot to problem tex/pdf file to lean checkable proof to final pdf solution, all through Meta API with Muse Wonder Model.
