Skip to content
View bangyen's full-sized avatar
9 followers · 2 following

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: YOLO

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: YOLO

Block or report bangyen

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

Hey, I’m Bangyen

I build systems that blend AI, distributed computing, and optimization.

Featured Projects

  • ZSharp: +5.26% accuracy and 4.4× faster training with Sharpness-Aware Minimization, Apple Silicon optimized.
  • Oligopoly: 98.5% collusion detection, 1e-6 precision, and 72.3% strategy adaptation in advanced economic simulations.

Publications

  • Generalized Collective Algorithms for the Exascale Era — CLUSTER 2023
  • Revisiting Computation for Research: Practices and Trends — SC 2024

Quick Links

Pinned Loading

  1. zsharp zsharp Public

    Sharpness-Aware Minimization with Z-Score filtering, achieving +5.26% accuracy with 4.39x Apple Silicon optimization and full reproducibility.

    Python 1

  2. leansharp leansharp Public

    Formal verification of Z-Score filtered Sharpness-Aware Minimization (SAM) implemented within the Lean 4 interactive theorem prover environment.

    Lean

  3. chess chess Public

    Explainable engine achieving 86.7% decisive faithfulness and 2.5 sparsity explanations via Rust-accelerated Stockfish probes and total position coverage.

    Rust

  4. ocamlgpt ocamlgpt Public

    A minimalist, bit-faithful OCaml distillation of Karpathy’s microgpt featuring idiomatic functional records and a zero-dependency, single-file architecture.

    OCaml

  5. oligopoly oligopoly Public

    Advanced market simulation featuring validated collusion detection, research-grade precision (1e-6), and Q-learning for adaptive strategy evolution.

    Python 1

  6. wikipedia wikipedia Public

    AI-driven article maturity scoring utilizing robust feature extraction, LightGBM calibration, and deployment-ready FastAPI and CLI interfaces.

    Python