A Human-on-the-Loop Optimization Autoformalism Approach for Sustainability. - Ming Jin 002; Bilgehan Sel; Fnu Hardeep; Wotao Yin (CoRR, 2023)

Democratizing Energy Management with LLM-Assisted Optimization Autoformalism. - Ming Jin 002; Bilgehan Sel; Fnu Hardeep; Wotao Yin (SmartGridComm, 2024)