TY - RPRT TI - A Human-on-the-Loop Optimization Autoformalism Approach for Sustainability AU - Ming Jin AU - Bilgehan Sel AU - Fnu Hardeep AU - Wotao Yin PY - 2023 UR - https://arxiv.org/abs/2308.10380 ID - 2308.10380 ER -