Enriching Disentanglement: From Logical Definitions to Quantitative Metrics - Zhang, Yivan; Sugiyama, Masashi (Advances in Neural Information Processing Systems, 2024)