SanSi: A Looped Typed Decision Model for System 1.5 Thinking Paper • 2610.07730 • Published Oct 6 • 16