---
title: "Who cites Type-and-Example-Directed Program Synthesis"
description: "13 papers of the Elamur Research library cite «Type-and-Example-Directed Program Synthesis», found in their bibliographies; the most cited first."
canonical: "https://research.elamur.ai/free/en/papers/osera-2015-type-example-directed-program-synthesis/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/osera-2015-type-example-directed-program-synthesis/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [Type-and-Example-Directed Program Synthesis](https://md.research.elamur.ai/free/en/papers/osera-2015-type-example-directed-program-synthesis/) / cited by

# 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»](https://md.research.elamur.ai/free/en/papers/osera-2015-type-example-directed-program-synthesis/)

1. [**Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language models arXiv:2206.04615 · Transactions on Machine Learning Research, May/2022, https://openreview.net/forum?id=uyTL5Bvosj**Aarohi Srivastava, Abhinav Rastogi, Abhishek Rao, et al.*2022 · 1,756 citations*](https://md.research.elamur.ai/free/en/papers/srivastava-2022-imitation-game-quantifying-extrapolating-capabilities/)
2. [**Generating Correctness Proofs with Neural Networks arXiv:1907.07794**Alex Sanchez-Stern, Yousef Alhessi, Lawrence Saul, et al.*2019 · 69 citations*](https://md.research.elamur.ai/free/en/papers/stern-2019-generating-correctness-proofs-neural-networks/)
3. [**Program Synthesis Foundations and Trends in Programming Languages 4(1-2)**Sumit Gulwani, Oleksandr Polozov, Rishabh Singh*2017 · 63 citations*](https://md.research.elamur.ai/free/en/papers/gulwani-2017-program-synthesis/)
4. **[Just-in-Time Learning for Bottom-Up Enumerative Synthesis](https://md.research.elamur.ai/free/en/papers/barke-2020-just-time-learning-bottom-up/) [Proceedings of the ACM on Programming Languages](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/)**Shraddha Barke, Hila Peleg, Nadia Polikarpova*2020 · 38 citations*
5. [**Passport: Improving Automated Formal Verification Using Identifiers arXiv: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*](https://md.research.elamur.ai/free/en/papers/stern-2022-passport-improving-automated-formal-verification/)
6. [**Can Transformers Learn to Solve Problems Recursively? arXiv:2305.14699**Shizhuo Dylan Zhang, Curt Tigges, Stella Biderman, et al.*2023 · 17 citations*](https://md.research.elamur.ai/free/en/papers/zhang-2023-transformers-learn-solve-problems-recursively/)

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

- [← back to](https://md.research.elamur.ai/free/en/papers/osera-2015-type-example-directed-program-synthesis/) — Type-and-Example-Directed Program Synthesis