Skip to content
View Yuhx141's full-sized avatar
3 followers · 2 following
  • Nanjing University

Block or report Yuhx141

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
Yuhx141/README.md

Hi, I'm Yuhx141

I'm a Computer Science PhD student at Nanjing University.

I'm learning compiler construction, program optimization, formal methods, and software testing through open-source projects.

My current interests include:

  • ROS 2 fuzzing and state-aware testing
  • ONNX graph optimization and compiler passes
  • Lean proofs for computation-graph equivalence
  • Reproducible bug reports, regression tests, and open-source fixes

I use this account to document what I learn, reduce failures to small test cases, and contribute fixes when I can.

Popular repositories Loading

  1. onnxsim onnxsim Public

    Forked from onnxsim/onnxsim

    Simplify your onnx model

    Python 1

  2. lean_try lean_try Public

    Lean

  3. ros2-upstream-issue-reproducers ros2-upstream-issue-reproducers Public

    Minimal reproducers and evidence for upstream ROS 2 issue reports

    Python

  4. graph-optimizer-issue-reproducers graph-optimizer-issue-reproducers Public

    Minimal public reproducers for upstream ONNX graph optimizer issues

    Python

  5. robot_localization robot_localization Public

    Forked from cra-ros-pkg/robot_localization

    robot_localization is a package of nonlinear state estimation nodes. The package was developed by Charles River Analytics, Inc. Please ask questions on answers.ros.org.

    C++

  6. ros2-control-portable-reproducers ros2-control-portable-reproducers Public

    Portable reproducers for ros2_control and ros2_controllers issues

    Shell