8000 hanwenzhu (Thomas Zhu) · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View hanwenzhu's full-sized avatar
46 followers · 48 following

Achievements

Achievement: StarstruckAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@YKPS-FooBar @techx-aiml

Block or report hanwenzhu

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. JOSHCLUNE/LeanHammer JOSHCLUNE/LeanHammer Public

    Lean 36 1

  2. cmu-l3/ntp-toolkit cmu-l3/ntp-toolkit Public

    Neural theorem proving toolkit: data extraction tools for Lean 4

    Lean 27 2

  3. premise-selection premise-selection Public

    Lean 5 1

  4. dreamhoi dreamhoi Public

    DreamHOI: Subject-Driven Generation of 3D Human-Object Interactions with Diffusion Priors

    Python 38 3

  5. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

    The math library of Lean 4

    Lean 2.1k 550

  6. mlcommons/ck mlcommons/ck Public

    Collective Knowledge (CK), Collective Mind (CM/CMX) and MLPerf automations: community-driven projects to facilitate collaborative and reproducible research and to learn how to run AI, ML, and other…

    Python 627 118

0