What indeed can GPT models do in chemistry? A comprehensive benchmark on eight tasks. - Taicheng Guo; Kehan Guo; Bozhao Nan; Zhengwen Liang; Zhichun Guo; Nitesh V. Chawla; Olaf Wiest; Xiangliang Zhang 001 (CoRR, 2023)

DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning. - Ziyin Zhang; Jiahao Xu; Zhiwei He 002; Tian Liang; Qiuzhi Liu; Yansi Li; Linfeng Song; Zhengwen Liang; Zhuosheng Zhang 001; Rui Wang 015; Zhaopeng Tu; Haitao Mi; et al. (CoRR, 2025)