🔗 Who cites «Stochastic Superoptimization»

31 papers of our library cite it (of the 149,439 whose bibliographies we read) · 6 with a page here, the most cited first · ← back to «Stochastic Superoptimization»

1. Syntax-Guided SynthesisFMCAD 2013Rajeev Alur, Rastislav Bodik, Garvit Juniwal, et al.2013 · 633 citations
2. AlphaEvolve: A coding agent for scientific and algorithmic discoveryarXiv:2506.13131Alexander Novikov, Ngân Vũ, Marvin Eisenberger, et al.2025 · 202 citations
3. Neuro-Symbolic Program SynthesisarXiv:1611.01855Emilio Parisotto, Abdel-rahman Mohamed, Rishabh Singh, et al.2016 · 152 citations
4. SPoC: Search-based Pseudocode to CodearXiv:1906.04908Sumith Kulal, Panupong Pasupat, Kartik Chandra, et al.2019 · 96 citations
5. Program SynthesisFoundations and Trends in Programming Languages 4(1-2)Sumit Gulwani, Oleksandr Polozov, Rishabh Singh2017 · 63 citations
6. 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

25 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/schkufza-2012-stochastic-superoptimization/cited-by/