🧑🔬 Ran Li — papers of 2025 — 1 paper, the most cited first1 paper · all years of Ran LiEquiBench: 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/ran-li/year/2025/