Skip to content
View RexWzh's full-sized avatar

Highlights

  • Pro

Organizations

@JuliaImages @cubenlp @Lean-zh

Block or report RexWzh

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
RexWzh/README.md

Hello, I'm WangZhihong (Rex) 👋

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.

Accomplishments

Skills

  • Programming languages: Python, Julia, LEAN, SageMath, C, Mathematica, GAP4
  • Research skills: natural language processing, mathematical reasoning

About Me

In addition to my academic pursuits, I have a variety of hobbies including riding, solving Rubik's cubes, playing chess, ping-pong, and so on. I also have a BiliBili account Rex_Wzh where I share some of my video creations.

Pinned Loading

  1. leanprover-community/lean4game leanprover-community/lean4game Public

    Server to host lean games.

    TypeScript 198 35

  2. JuliaImages/QRCoders.jl JuliaImages/QRCoders.jl Public

    Creating QR Codes within Julia

    Julia 67 11

  3. lean-dojo/LeanDojo lean-dojo/LeanDojo Public

    Tool for data extraction and interacting with Lean programmatically.

    Python 576 94

  4. JuliaCN/LeetCode.jl JuliaCN/LeetCode.jl Public

    A community driven project to provide solutions for LeetCode problems in the Julia programming language.

    Julia 120 32

  5. cubenlp/ChatTool cubenlp/ChatTool Public

    Toolkit for Chat API.

    Python 36 4

  6. cubenlp/askchat cubenlp/askchat Public

    Interact with ChatGPT in terminal via chattool

    Python 23