# Siyuan Song

- **Event:** [Meta Global AI Developer Hackathon](https://cerebralvalley.ai/e/meta-ai-developer-hackathon)
- **When:** Oct 26, 12:00 PM – Nov 4, 9:00 PM (EST)
- **Where:** Online
- **Team:** [Siyuan Song](https://cerebralvalley.ai/u/ssydyc)
- **GitHub:** https://github.com/ssydyc2/proof-studio
- **Demo video:** https://youtu.be/z5eWsHRPCtw
- **Gallery:** https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery
- **Page:** https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2678

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.

## More from Meta Global AI Developer Hackathon

- [OmniInspect AI](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2675)
- [Glenox Team](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2676)
- [BugBuster](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2677)
- [JSama](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2679)
- [Souldbound](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2680)
- [GridTwin-HIL](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2681)

---

Markdown version of https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2678. Site index for agents: https://cerebralvalley.ai/llms.txt · full text: https://cerebralvalley.ai/llms-full.txt