🔗 Who cites «Type-and-Example-Directed Program Synthesis»

13 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 «Type-and-Example-Directed Program Synthesis»

1. Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language modelsarXiv:2206.04615 · Transactions on Machine Learning Research, May/2022, https://openreview.net/forum?id=uyTL5BvosjAarohi Srivastava, Abhinav Rastogi, Abhishek Rao, et al.2022 · 1,756 citations
2. Generating Correctness Proofs with Neural NetworksarXiv:1907.07794Alex Sanchez-Stern, Yousef Alhessi, Lawrence Saul, et al.2019 · 69 citations
3. Program SynthesisFoundations and Trends in Programming Languages 4(1-2)Sumit Gulwani, Oleksandr Polozov, Rishabh Singh2017 · 63 citations
4. Just-in-Time Learning for Bottom-Up Enumerative SynthesisProceedings of the ACM on Programming LanguagesShraddha Barke, Hila Peleg, Nadia Polikarpova2020 · 38 citations
5. Passport: Improving Automated Formal Verification Using IdentifiersarXiv:2204.10370 (ACM Transactions on Programming Languages and Systems (TOPLAS), 45(2):12:1-12:30, June 2023)Alex Sanchez-Stern, Emily First, Timothy Zhou, et al.2022 · 35 citations
6. Can Transformers Learn to Solve Problems Recursively?arXiv:2305.14699Shizhuo Dylan Zhang, Curt Tigges, Stella Biderman, et al.2023 · 17 citations

7 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/osera-2015-type-example-directed-program-synthesis/cited-by/