A Human-on-the-Loop Optimization Autoformalism Approach for Sustainability