Proportionality in Participatory Budgeting with Type Constraints

Submitted to The 40th Annual Conference on Neural Information Processing Systems (Neurips 2026), 2026