Skip to content
View Leo-Y-Zhang's full-sized avatar
  • United Kingdom

Block or report Leo-Y-Zhang

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 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

Pinned Loading

  1. Leo-Y-Zhang Leo-Y-Zhang Public

    The README shown at github.com/Leo-Y-Zhang

  2. MathRecords MathRecords Public

    Four new mixed van der Waerden numbers from SAT. Every lower bound ships a colouring you can verify by hand, with no solver involved.

    Python

  3. QuantumCompiler QuantumCompiler Public

    Toy educational quantum-circuit DSL compiler whose optimizations and SWAP routing are proved correct by an exact unitary equivalence check.

    Python

  4. TerminalAgent TerminalAgent Public

    Terminal AI coding assistant on the Anthropic API: agentic tool loop, per-turn checkpoints with a refusing /undo, 205 offline unit tests.

    TypeScript

  5. QuantumClaimReferee QuantumClaimReferee Public

    Finite-sample referee for quantum measurement claims: memory-robust CHSH p-values and default-deny verdicts on fidelity and entanglement.

    Python