UW Mathematics. Lean 4, proof-carrying systems, verified computation, reproducible benchmarks.
- Seattle, WA, US
-
18:06
(UTC -07:00) - https://orcid.org/0009-0008-3225-6672
Highlights
- Pro
Pinned Loading
-
uw-math-ai-densematrix-poster-2026sp
uw-math-ai-densematrix-poster-2026sp PublicUW Math AI Lab Spring 2026 DenseMatrix poster artifact
Lean
-
-
-
MusicRateFollower
MusicRateFollower PublicA Swift background utility for macOS 27 aligns the default output device's sample rate with Apple Music's stereo lossless streams using verified playback logs, supports hardware-aware integer-divis…
Swift
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.



