Che, Fengdi

8 publications

TMLR 2026 Re:Form --- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny Chuanhao Yan, Fengdi Che, Xuhan Huang, Xu Xu, Xin Li, Yizhi Li, Xingwei Qu, Jingzhe Shi, Chenghua Lin, Yaodong Yang, Binhang Yuan, Hang Zhao, Yu Qiao, Bowen Zhou, Jie Fu

ICLR 2026 VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code Lingfei Zeng, Fengdi Che, Xuhan Huang, Fei Ye, Xu Xu, Binhang Yuan, Jie Fu

ICML 2024 Target Networks and Over-Parameterization Stabilize Off-Policy Bootstrapping with Function Approximation Fengdi Che, Chenjun Xiao, Jincheng Mei, Bo Dai, Ramki Gummadi, Oscar A Ramirez, Christopher K Harris, A. Rupam Mahmood, Dale Schuurmans

ICML 2023 Correcting Discount-Factor Mismatch in On-Policy Policy Gradient Methods Fengdi Che, Gautham Vasan, A. Rupam Mahmood

UAI 2023 Loosely Consistent Emphatic Temporal-Difference Learning Jiamin He, Fengdi Che, Yi Wan, A. Rupam Mahmood

NeurIPSW 2022 Bayesian Q-Learning with Imperfect Expert Demonstrations Fengdi Che, Xiru Zhu, Doina Precup, David Meger, Gregory Dudek

NeurIPSW 2022 Bayesian Q-Learning with Imperfect Expert Demonstrations Fengdi Che, Xiru Zhu, Doina Precup, David Meger, Gregory Dudek

ICCVW 2019 3SGAN: 3D Shape Embedded Generative Adversarial Networks Fengdi Che, Xiru Zhu, Tianzi Yang, Tzu-Yang Yu