Skip to content
View canghaimeng's full-sized avatar
1 follower · 0 following
  • Shanghai Jiao Tong University
  • Shanghai

Achievements

Achievement: Starstruck

Achievements

Achievement: Starstruck

Highlights

  • Pro

Block or report canghaimeng

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. Euler Euler Public

    Mathematical research agents with shared, structured state for understanding the reasoning process and coordinating exploration.

    Python 24 4

  2. DRL-for-Real-ICCV-Workshop-2025 DRL-for-Real-ICCV-Workshop-2025 Public

    DRL for Real ICCV Workshop 2025

    Python 5

  3. lewis-overton-bfgs-rate lewis-overton-bfgs-rate Public

    Lean 4 formalization of initialization-dependent exact BFGS rates on an open interval

    Lean 1

  4. JNWLegalSystemObstruction JNWLegalSystemObstruction Public

    Lean formalization of the JNW legal system obstruction

    Lean 1

  5. Nikoghosyan-conjecture Nikoghosyan-conjecture Public

    Lean 4 formalization of Nikoghosyan's conjecture on Hamiltonicity of 1-tough (P4 ∪ P1)-free graphs.

    Lean 1

  6. compiler-lab-2022 compiler-lab-2022 Public

    Forked from chiro2001/compiler-lab-2022

    HITsz Compiler lab 2022

    Java