Enumerative Search

Benchmarks archive 2025-07-28

No benchmark for this task in the archive.

Libraries

Not in the archive: the export carries no per-task library table, so there is nothing to show at snapshot 2025-07-28.

Datasets archive 2025-07-28

1 dataset whose archive record lists this task, ordered by the archive's paper count.

Subtasks archive 2025-07-28

No subtask under this task in the archive's task tree.

Parent tasks archive 2025-07-28

Most implemented papers archive 2025-07-28

5 shown of 5 papers with code (7 tagged with this task in all), ordered by repositories listed in the archive, not by stars (the archive holds no stars, so PwC's “Social” and “Latest” sorts cannot be reproduced). Papers without a page here are shown as plain text.

• DeepCoder: Learning to Write Programs
  7 Nov 2016 3 repositories listed Syntology ran 3 of 8 samples · 5 unverified · 3 pointer-only (licence)
  We develop a first line of attack for solving programming competition-style problems from input-output examples using deep learning.
• TF-Coder: Program Synthesis for Tensor Manipulations
  19 Mar 2020 2 repositories listed Syntology ran 0 of 14 samples · 14 unverified
  The success and popularity of deep learning is on the rise, partially due to powerful deep learning frameworks such as TensorFlow and PyTorch that make it easier to develop deep learning models.
• From Examples to Rules: Neural Guided Rule Synthesis for Information Extraction
  16 Jan 2022 1 repository listed
  While deep learning approaches to information extraction have had many successes, they can be difficult to augment or maintain as needs shift.
• SQUARES: A SQL Synthesizer Using Query Reverse Engineering
  31 Aug 2020 1 repository listed
  As a result, many of them can provide examples of data transformations but are unable to produce the desired query.
• Generating Programmatic Referring Expressions via Program Synthesis
  1 Jan 2020 1 repository listed
  The policy neural network employs a program interpreter that provides immediate feedback on the consequences of the decisions made by the policy, and also takes into account the uncertainty in the symbolic…

Syntology lines on 2 of the papers shown; no Syntology record for the others (a paper without an arXiv id cannot be joined to the graph, and absence from the graph layer is not a recorded non-run). “Ran” means the sample executed on a synthesized fixture, not that the paper's result was reproduced. Read from the graph 2026-09-24.