Solving General Natural-Language-Description Optimization Problems with Large Language Models NAACL

Jihai Zhang | Wei Wang | Siyan Guo | Li Wang | Fangquan Lin | Cheng Yang | Wotao Yin |

BC-Prover: Backward Chaining Prover for Formal Theorem Proving EMNLP

Yuhang He | Jihai Zhang | Jianzhu Bao | Fangquan Lin | Cheng Yang | Bing Qin | Ruifeng Xu | Wotao Yin |

SURf: Teaching Large Vision-Language Models to Selectively Utilize Retrieved Information EMNLP

Jiashuo Sun | Jihai Zhang | Yucheng Zhou | Zhaochen Su | Xiaoye Qu | Yu Cheng |