@misc{indiciaecfe79f08bd92,
  title = {A Human-on-the-Loop Optimization Autoformalism Approach for Sustainability},
  author = {Ming Jin and Bilgehan Sel and Fnu Hardeep and Wotao Yin},
  year = {2023},
  url = {https://arxiv.org/abs/2308.10380},
  note = {Source identifier: 2308.10380}
}