Logic-Regularized Verifier Elicits Reasoning from LLMs. - Xinyu Wang 022; Changzhi Sun; Lian Cheng; Yuanbin Wu; Dell Zhang; Xiaoling Wang 004; Xuelong Li 001 (ACL (1), 2025)

Embedding Reliability Verification Constraints into Generation Expansion Planning. - Peng Liu; Lian Cheng; Benjamin P. Omell; Anthony P. Burgard (CoRR, 2025)