Skip to content
View cadottea's full-sized avatar
1 follower · 4 following

Highlights

  • Pro

Block or report cadottea

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. lean-cross-impact-no-price-manipulation lean-cross-impact-no-price-manipulation Public

    Machine-checked Lean 4 verification of cross-impact no-price-manipulation

    Lean

  2. qcl-native-pack-001 qcl-native-pack-001 Public

    Audited C# / Lean-compatible engine upgrade package for quantitative research workflows.

    HTML

  3. quantlib-heston-calibration-stress-test quantlib-heston-calibration-stress-test Public

    Source-level QuantLib Heston calibration stress test: held-out volatility-surface splits, hostile initialization regimes, hybrid PSO-to-LM calibration, and public CSV/plot evidence showing robust l…

    Python

  4. whisper-decoder-control-basin whisper-decoder-control-basin Public

    Source-level whisper.cpp decoder-control experiment showing stable WER reductions from a zero-default C++ scoring intervention inside whisper_sequence_score.

    Python