🔗 Who cites «Data-Driven Equivalence Checking»

5 papers of our library cite it (of the 149,439 whose bibliographies we read) · 2 with a page here, the most cited first · ← back to «Data-Driven Equivalence Checking»

1. TASO: Optimizing Deep Learning Computation with Automatic Generation of Graph SubstitutionsSOSP 2019Zhihao Jia, Oded Padon, James Thomas, et al.2019 · 72 citations
2. EquiBench: 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 citations

3 more papers of our library cite it; they have no page here yet.

This page in Markdown → https://md.research.elamur.ai/free/en/papers/sharma-2013-data-driven-equivalence-checking/cited-by/