| What is Formal Verification without Specifications? A Survey on mining LTL Specifications | Jan 27, 2025 | Enumerative SearchSurvey | —Unverified | 0 |
| From Examples to Rules: Neural Guided Rule Synthesis for Information Extraction | Jan 16, 2022 | Enumerative SearchFew-Shot Learning | CodeCode Available | 1 |
| FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions | Dec 28, 2020 | Enumerative SearchForm | —Unverified | 0 |
| SQUARES: A SQL Synthesizer Using Query Reverse Engineering | Aug 31, 2020 | Enumerative SearchProgram Synthesis | CodeCode Available | 1 |
| TF-Coder: Program Synthesis for Tensor Manipulations | Mar 19, 2020 | Deep LearningEnumerative Search | CodeCode Available | 1 |
| Generating Programmatic Referring Expressions via Program Synthesis | Jan 1, 2020 | Enumerative SearchLogical Reasoning | CodeCode Available | 0 |
| DeepCoder: Learning to Write Programs | Nov 7, 2016 | Enumerative SearchProgram Synthesis | CodeCode Available | 0 |
