🧑🔬 Ke Wang — papers of 2025 — 1 paper, the most cited first1 paper · all years of Ke WangEquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence CheckingConference on Empirical Methods in Natural Language Processing (EMNLP)Anjiang Wei, Jiannan Cao, Ran Li, et al.2025 · 8 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/ke-wang/year/2025/