A Modern Approach To Logical Reasoning ~upd~ ⚡ Full Version

: Reason logically, but reason adaptively —with a toolkit that includes probability, computation, and self-correction.