Fengdi Che

Identifiers

• name variant Fengdi Che 0.60 · backfill

Papers (2)

1. Learning with a Single Rollout via Monte Carlo Pass@k Critic cs.LG · 2026 · author #1
2. VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code cs.PL · 2025 · author #2

Mentions

• 2606.25451 #1 · arxiv_oai · confidence 0.70 Fengdi Che

Frequent Coauthors

• Binhang Yuan 1 shared papers
• Dale Schuurmans 1 shared papers
• Fei Ye 1 shared papers
• Jie Fu 1 shared papers
• Lei Yu 1 shared papers
• Lingfei Zeng 1 shared papers
• Meng Cao 1 shared papers
• Rupam Mahmood 1 shared papers
• Tong Che 1 shared papers
• Xuhan Huang 1 shared papers
• Xu Xu 1 shared papers
• Yang Liu 1 shared papers