Rongge Xu

Stream: new members

[Rongge]

Hi everyone — I’m Rongge Xu (Yau Mathematical Sciences Center, Tsinghua). I work on Lean + AI-for-math workflows and categorical benchmarks, and I also dabble in formal mathematical physics. Excited to learn from the community and contribute back to mathlib.

[Nick Adfor]

Hi, I've seen your work on LeanBridge and LeanCat on hackathon— it's very impressive. I'd love to see your contributions to mathlib!

[Rongge]

Nick Adfor said:

Hi, I've seen your work on LeanBridge and LeanCat on hackathon— it's very impressive. I'd love to see your contributions to mathlib!

Thanks, Nick! Just curious—when you say “hackathon”, do you mean the THU one last August?

[Nick Adfor]

Rongge said:

Nick Adfor said:

Hi, I've seen your work on LeanBridge and LeanCat on hackathon— it's very impressive. I'd love to see your contributions to mathlib!

Thanks, Nick! Just curious—when you say “hackathon”, do you mean the THU one last August?

Yes, I've watched the video on bilibili, where you posted a comment to welcome cooperation.