Fengdi Che

According to our database, Fengdi Che authored at least 8 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

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, Zhuangzhuang He, Chenghua Lin, Yaodong Yang, Binhang Yuan, Hang Zhao, Yu Qiao, Bowen Zhou, Jie Fu

CoRR, July, 2025

AVG-DICE: Stationary Distribution Correction by Regression.

Fengdi Che, Bryan Chan, Chen Ma, A. Rupam Mahmood

CoRR, March, 2025

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

Proceedings of the Forty-first International Conference on Machine Learning, 2024

2023

Loosely consistent emphatic temporal-difference learning.

Jiamin He, Fengdi Che, Yi Wan, A. Rupam Mahmood

Proceedings of the Uncertainty in Artificial Intelligence, 2023

Correcting discount-factor mismatch in on-policy policy gradient methods.

Fengdi Che, Gautham Vasan, A. Rupam Mahmood

Proceedings of the International Conference on Machine Learning, 2023

2022

Bayesian Q-learning With Imperfect Expert Demonstrations.

Fengdi Che, Xiru Zhu, Doina Precup, David Meger, Gregory Dudek

CoRR, 2022

2019

Detecting GAN generated errors.

Xiru Zhu, Fengdi Che, Tianzi Yang, Tzu-Yang Yu, David Meger, Gregory Dudek

CoRR, 2019

3SGAN: 3D Shape Embedded Generative Adversarial Networks.

Fengdi Che, Xiru Zhu, Tianzi Yang, Tzu-Yang Yu

Proceedings of the 2019 IEEE/CVF International Conference on Computer Vision Workshops, 2019