Skip to content

Formal: optimal linear and log pooling, Dobrushin consensus contraction (FORM-S13) - #162

Merged
docxology merged 1 commit into
mainfrom
claude/lean-consensus
Oct 9, 2026
Merged

Formal: optimal linear and log pooling, Dobrushin consensus contraction (FORM-S13)#162
docxology merged 1 commit into
mainfrom
claude/lean-consensus

FORM-S13: linear/log opinion-pool optimality and Dobrushin contractio…

a2d1dd9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
changes
succeeded Oct 9, 2026 in 12s