Skip to content
View GanjinZero's full-sized avatar
♠️
AsAcJsTc
♠️
AsAcJsTc
441 followers · 198 following

Achievements

Achievement: Starstruckx3Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Starstruckx3Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Highlights

Block or report GanjinZero

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

Pinned Loading

  1. OFA-Sys/gsm8k-ScRel Public

    Codes and Data for Scaling Relationship on Learning Mathematical Reasoning with Large Language Models

    Python 260 17

  2. OFA-Sys/InsTag Public

    InsTag: A Tool for Data Analysis in LLM Supervised Fine-tuning

    255 7

  3. RRHF Public

    [NIPS2023] RRHF & Wombat

    Python 806 47

  4. QwenLM/Qwen Public

    The official repo of Qwen (通义千问) chat & pretrained large language model proposed by Alibaba Cloud.

    Python 18k 1.5k

  5. math401-llm Public

    Source codes and datasets for How well do Large Language Models perform in Arithmetic tasks?

    56 2

  6. BioBART Public

    BioBART: Pretraining and Evaluation of A Biomedical Generative Language Model [ACL-BioNLP 2022]

    Python 52 5

7 contributions in the last year

Contribution Graph
Day of Week May June July August September October November December January February March April
Sunday
Monday
Tuesday
Wednesday
Thursday
Friday
Saturday
Learn how we count contributions
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More

Activity overview

Contributed to dwrensha/compfiles, leanprover-community/mathlib4, GanjinZero/mathlib4 and 1 other repository
Loading A graph representing GanjinZero's contributions from April 28, 2024 to April 28, 2025. The contributions are 50% commits, 33% pull requests, 17% issues, 0% code review.

Contribution activity

April 2025

Created an issue in Lizn-zn/NeqLIPS that received 2 comments

Jensen_square_div_3vars

theorem Jensen_square_div_3vars (u v w : ℝ) (hu : u > 0) (hv : v > 0) (hw : w > 0) : (1 / u ^ 2 + 1 / v ^ 2 + 1 / w ^ 2) / 3 ≤ 9 / (u + v + w) ^ 2 …

2 comments
Loading