Giter Club home page Giter Club logo

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

  • Core developer of the organization CubeNLP.
  • Maintainer of the organization Lean-zh.
  • OSPP'22 of Julia - A QR code encoder QRCoders.jl and decoder QRDecoders.jl.
  • AskChat - A command-line tool for ChatGPT interaction, allowing you to call ChatGPT anytime, anywhere.
  • ChatTool - A simple wrapper for OpenAI Chat API.
  • rubik_cube.py - Auto-solver of Rubik's cube using Python and the Kociemba algorithm.
  • 《好玩的数学》公众号专栏作者
  • 全国大学生数学竞赛 - 决赛一等奖 (2019), 省赛一等奖 (2017, 2018).
  • 全国高校密码数学挑战赛 - 中南赛区二等奖 (2018).
  • 全国高中数学/化学联赛 - 省二等奖(2014)/省一等奖(2013)
  • 全国初中数学/物理/化学竞赛 - 国二等奖/国一等奖/国一等奖(2012)

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.

RexWang's Projects

awesome-libgen icon awesome-libgen

😎 Awesome list of Library Genesis, the world's largest free library.

beefalo icon beefalo

基于PyQt5的启动器,实现Wox功能(Windows下的Alfred)。

causallm-lit icon causallm-lit

基于 Lightning 的训练语言模型的框架,目前限定模型架构为 DecoderOnly,方便自定义数据,并且集成 trl 强化学习框架。

chatglm-6b icon chatglm-6b

ChatGLM-6B:开源双语对话语言模型 | An Open Bilingual Dialogue Language Model

chatgpt-web icon chatgpt-web

用 Express 和 Vue3 搭建的 ChatGPT 演示网页

chatgpt_academic icon chatgpt_academic

科研工作专用ChatGPT拓展,特别优化学术Paper润色体验,支持自定义快捷按钮,支持markdown表格显示,Tex公式双显示,代码显示功能完善,新增本地Python工程剖析功能/自我剖析功能

chattools.jl icon chattools.jl

A Julia package designed to provide various tools based on the GPT-liked API.

clip icon clip

Contrastive Language-Image Pretraining

coderl icon coderl

This is the official code for the paper CodeRL: Mastering Code Generation through Pretrained Models and Deep Reinforcement Learning.

dagger.jl icon dagger.jl

A framework for out-of-core and parallel execution

datacamp-light icon datacamp-light

Convert any blog or website to an interactive learning platform for data science

db-gpt icon db-gpt

Revolutionizing Database Interactions with Private LLM Technology

devika icon devika

Devika is an Agentic AI Software Engineer that can understand high-level human instructions, break them down into steps, research relevant information, and write code to achieve the given objective. Devika aims to be a competitive open-source alternative to Devin by Cognition AI.

dify icon dify

An Open-Source Assistants API and GPTs alternative. Dify.AI is an LLM application development platform. It integrates the concepts of Backend as a Service and LLMOps, covering the core tech stack required for building generative AI-native applications, including a built-in RAG engine.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.