Fengdi Che
Scholar

Fengdi Che

Google Scholar ID: uAdj91QAAAAJ
university of alberta
artificial intelligence
Google Scholar↗
Citations & Impact
All-time
Citations
37
 
H-index
4
 
i10-index
1
 
Publications
9
 
Co-authors
6
list available
Contact
No contact links provided.
Publications
5 items
VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code
2025
Cited
0
A Tutorial: An Intuitive Explanation of Offline Reinforcement Learning Theory
2025
Cited
0
Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny
2025
Cited
0
AVG-DICE: Stationary Distribution Correction by Regression
2025
Cited
0
Target Networks and Over-parameterization Stabilize Off-policy Bootstrapping with Function Approximation
International Conference on Machine Learning · 2024
Cited
6
Resume (English only)
Co-authors
6 total
A. Rupam Mahmood
A. Rupam Mahmood
University of Alberta, Amii
Co-author 2
Co-author 2
Gautham Vasan
Gautham Vasan
University of Alberta, Amii
Dale Schuurmans
Dale Schuurmans
Google DeepMind & University of Alberta
Chris Harris
Chris Harris
Google
Bo Dai
Bo Dai
Google Brain & Georgia Tech