Formats: bibtex Groups: Social Impact of AI and explainable ML Tags: Mathematical Optimization Submodular set function The Turk