Skip to content
View Brsanch's full-sized avatar
3 followers · 4 following

Block or report Brsanch

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

Bryan Sanchez — Independent ML Researcher

Building tools that find where AI models are wrong and fix them.

Papers

  • Correcting Suppressed Log-Probabilities in Language Models with Post-Transformer Adapters (2026) A 786K-parameter post-transformer adapter corrects censorship-suppressed log-probabilities across Qwen3-4B, 8B, and 14B. Includes documentation of a silent gradient bug in Apple MLX. Code · Weights

Repos

Repo What it does
qwen-adapter-correction Post-transformer adapters for correcting suppressed log-probabilities in language models.
sqg-lean-proofs Lean 4 + mathlib formalization of Fourier-space identities for the inviscid Surface Quasi-Geostrophic equation, with a conditional regularity roadmap. 20k+ lines, zero sorry, no axioms beyond mathlib.

Packages

Package What it does
noethersolve 300+ verified computational tools for AI agents via MCP.
rho-eval Behavioral auditing toolkit for LLMs.

Popular repositories Loading

  1. qwen-adapter-correction qwen-adapter-correction Public

    Post-transformer adapters correct suppressed log-probabilities in censored language models

    Python 2

  2. Awesome-LLM-Compression Awesome-LLM-Compression Public

    Forked from HuangOwen/Awesome-LLM-Compression

    Awesome LLM compression research papers and tools.

    1

  3. Brsanch Brsanch Public

    Profile README

    1

  4. contrastive-pretraining contrastive-pretraining Public

    Contrastive Pretraining Teaches Format Generation, Not Behavioral Knowledge — code and paper

    Python

  5. sqg-lean-proofs sqg-lean-proofs Public

    Lean 4 + mathlib formalization of the SQG shear-vorticity identity (D14 Theorem 1)

    Lean

  6. sqg-lean-proofs-fourier sqg-lean-proofs-fourier Public

    Classical Fourier analysis in Lean 4: Littlewood–Paley, paraproducts, Kato–Ponce commutator, Sobolev embeddings for 𝕋². Upstream of sqg-lean-proofs and future NS/Euler/MHD formalizations.

    Lean