Invited talk at TokyoAI