SPB Git
spboucher.ai

spb/wp28_uqo

Public
History of results/raw/logit_misspec_p3_N65536_K2048.manifest.json Clear filter
page 1

  1. Thu, Oct 29, 2026 1

    1. WP28: log update
      Simon-Pierre Boucher · 1 file +6 −6

  2. Wed, Oct 28, 2026 1

    1. WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
      …
      Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
      Simon-Pierre Boucher · 1 file +30
Menu

Theme
↑↓ navigate ↵ open esc close / or ⌘K anywhere