SPB Git
spboucher.ai

spb/wp28_uqo

Public
History
NameLast commitUpdated
..
abstract.tex WP28: manuscript draft (theory sections, proofs, bibliography) compiles
benchmarks.tex WP28: manuscript draft (theory sections, proofs, bibliography) compiles
conclusion.tex WP28: manuscript draft (theory sections, proofs, bibliography) compiles
construction.tex WP28: typographic pass (displayed equations, narrow tables, overfull boxes)
costmodel.tex WP28: typographic pass (displayed equations, narrow tables, overfull boxes)
discussion.tex WP28: manuscript draft (theory sections, proofs, bibliography) compiles
environment.tex WP28: manuscript draft (theory sections, proofs, bibliography) compiles
exactmodel.tex WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
inexact.tex WP28: typographic pass (displayed equations, narrow tables, overfull boxes)
introduction.tex WP28: displayed equations throughout, GPT-6.1 author mention removed,...
literature.tex WP28: typographic pass (displayed equations, narrow tables, overfull boxes)
montecarlo.tex WP28: Monte Carlo section, table layout (4 local sizes), canonical figures
provenance.tex WP28: displayed equations throughout, GPT-6.1 author mention removed,...
results.tex WP28: typographic pass (displayed equations, narrow tables, overfull boxes)
robustness.tex WP28: typographic pass (displayed equations, narrow tables, overfull boxes)
titlepage_anon.tex WP28: phase 0 — workspace, frozen prior draft, replication lock
titlepage.tex WP28: phase 0 — workspace, frozen prior draft, replication lock

Clone wp28_uqo

Anonymous clone and fetch. Pushing requires the owner's personal access token.

ZIP tar.gz snapshot of 6162f9a2ef92f29bccf1812b85286ce3dd39460b
Files · 6162f9a2ef92f29bccf1812b85286ce3dd39460b
Menu

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