Skip to content
View wyt2000's full-sized avatar
42 followers · 101 following
  • IPRC @ ICT, CAS
  • Beijing, China

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report wyt2000

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Pinned Loading

  1. stepfun-ai/StepFun-Formalizer stepfun-ai/StepFun-Formalizer Public

    StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion

    Python 12 1

  2. InverseCoder InverseCoder Public

    [AAAI 2025] The official code of the paper "InverseCoder: Unleashing the Power of Instruction-Tuned Code LLMs with Inverse-Instruct"(https://arxiv.org/abs/2407.05700).

    Python 13 1

  3. EarthCore EarthCore Public

    使用 Unity 引擎制作的卡牌游戏。

    C# 14 3

  4. ustc-nscscc-2020-1 ustc-nscscc-2020-1 Public

    USTC NSCSCC-2020-1

    SystemVerilog 2 2