Episode 2504: Yusuke Uegatani - semi-formal reasoning and negotiation - Math Ed Podcast | Wave AI Podcast Notes