“I heard this story about a fish. He swims up to this older fish and says, "I'm trying to find this thing they call the ocean." "The ocean?" says the older fish. "That's what you're in right now." "This?" says the young fish. "This is water. What I want is the ocean." - Soul, 2020
a Computer Science and Mathematics student at Northeastern University, passionate about building products that make a real impact on the communities around me.
-
🧠 Gradually Typed Programming Language – OCaml-based language design [https://github.com/suxls/gradually-typed-programming-language]
Designed and implemented my own programming language exploring gradual typing concepts. -
📊 Data Overlap in Autoformalization – Independent Research @ Osmosis (YC W25) [https://github.com/suxls/data-overlap-autoformalization]
Investigated the impact of SFT–GRPO data overlap in Lean 4 autoformalization pipelines. Paper published at [https://arxiv.org/abs/2604.13515] -
💼 Coop Review Platform – Northeastern Sandbox Software Consultancy [https://github.com/sandboxnu/cooper]
Built a platform to help students share and explore co-op experiences. -
🎮 EyeCraft – 🏆 HackMIT 2025 Winner (Entertainment Track) [https://github.com/qihongw08/eyecraft-mod]
Developed an immersive project combining creative interaction and gameplay mechanics.
📫 Checkout Email: su.xiaol@northeastern.edu | Website: xiaolesu.com | LinkedIn: linkedin.com/in/xiaolesu
