I'm a PhD student in Computer Science at ECNU, with a focus on Natural Language Generating (NLG), particularly in the domain of mathematical reasoning. My background is in pure mathematics, and I am passionate about combining my expertise in mathematics and computer science to develop tools and systems that can assist in solving complex problems.
- OSPP'22 of Julia - A QR code encoder QRCoders.jl and decoder QRDecoders.jl.
- Core developer of the organization CubeNLP.
- rubik_cube.py - Auto-solver of Rubik's cube using Python and the Kociemba algorithm.
- AskChat - Interacting with ChatGPT in terminal
- chattool - A simple wrapper for Chat API that simplifies the process of making requests and handling responses.
- γε₯½η©ηζ°ε¦γε ¬δΌε·δΈζ δ½θ
- ε ¨ε½ε€§ε¦ηζ°ε¦η«θ΅ - ε³θ΅δΈηε₯ (2019), ηθ΅δΈηε₯ (2017, 2018).
- ε ¨ε½ι«ζ ‘ε―η ζ°ε¦ζζθ΅ - δΈεθ΅εΊδΊηε₯ (2018).
- Programming languages: Python, Julia, SageMath, Mathematica
- Research skills: natural language processing, mathematical reasoning
In addition to my academic pursuits, I have a variety of hobbies including riding, solving Rubik's cubes, playing chess, badminton and ping-pong. I also have a BiliBili account Rex_Wzh where I share some of my video creations.