Fengdi Che

Identifiers

No identifiers captured yet.

Papers (1)

1. VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code cs.PL · 2025 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Binhang Yuan 1 shared papers
• Fei Ye 1 shared papers
• Jie Fu 1 shared papers
• Lingfei Zeng 1 shared papers
• Xuhan Huang 1 shared papers
• Xu Xu 1 shared papers