{"url":"/task/enumerative-search","name":"Enumerative Search","slug":"enumerative-search","description_markdown":null,"categories":[{"name":"Computer Code","url":"/area/computer-code"},{"name":"Reasoning","url":"/area/reasoning"}],"source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","slug_source":"archive_url"},"counts":{"papers_tagged":7,"papers_with_code":5,"benchmarks":0,"benchmark_tables_in_archive":0,"benchmark_tables_shown":0,"benchmark_tables_withheld_as_spam":0,"benchmark_definition":"a leaderboard table with at least one row; benchmark_tables_shown also counts the zero-row tables; benchmark_tables_in_archive adds the tables withheld as spam","datasets":1,"subtasks":0,"parent_tasks":1},"benchmarks":[],"datasets":[{"url":"/dataset/standard-atomic-contexts","name":"standard atomic contexts","full_name":"standard contexts for the lattices of atomic lattices","num_papers_in_archive":1}],"subtasks":[],"parent_tasks":[{"url":"/task/program-synthesis","name":"Program Synthesis"}],"papers":{"order":"repositories listed in the archive (desc), then date (desc); the archive holds no stars","population":"papers tagged with this task that list at least one repository in the archive","shown":5,"of":5,"tagged_in_all":7,"items":[{"url":"/paper/deepcoder-learning-to-write-programs","title":"DeepCoder: Learning to Write Programs","date":"2016-11-07","arxiv_id":"1611.01989","repositories_listed":3,"syntology":{"n":8,"n_ran":3,"n_unverified":5,"n_pointer_only":3}},{"url":"/paper/tf-coder-program-synthesis-for-tensor","title":"TF-Coder: Program Synthesis for Tensor Manipulations","date":"2020-03-19","arxiv_id":"2003.09040","repositories_listed":2,"syntology":{"n":14,"n_ran":0,"n_unverified":14,"n_pointer_only":0}},{"url":"/paper/from-examples-to-rules-neural-guided-rule","title":"From Examples to Rules: Neural Guided Rule Synthesis for Information Extraction","date":"2022-01-16","arxiv_id":"2202.00475","repositories_listed":1,"syntology":null},{"url":"/paper/squares-a-sql-synthesizer-using-query-reverse","title":"SQUARES: A SQL Synthesizer Using Query Reverse Engineering","date":"2020-08-31","arxiv_id":null,"repositories_listed":1,"syntology":null},{"url":"/paper/generating-programmatic-referring-expressions","title":"Generating Programmatic Referring Expressions via Program Synthesis","date":"2020-01-01","arxiv_id":null,"repositories_listed":1,"syntology":null}],"syntology_records":2,"syntology_note":"a paper without a record is not a recorded non-run: it may lack an arXiv id or simply be absent from the graph layer"},"description_links":{"kept":0,"unwrapped_to_text":0,"bare_urls_linked":0,"relative_images_dropped":0,"rule":"internal links are kept only when the target slug exists in the catalog"},"syntology":{"read_at":"2026-09-24T18:15:14+00:00","claim":"Per-sample execution status on synthesized fixtures ('ran N of M samples'); not a correctness claim and not a ranking signal.","status_vocabulary":{"ran_honours":"ran, honoured the contract we drafted","ran_violates":"ran, violated the contract we drafted","ran_draft_wrong":"ran; our contract draft was wrong, not the code","ran_fixture":"ran; our fixture could not drive it","ran":"ran on a synthesized input","unverified":"unverified (harvested, no recorded run)"}},"not_shown":{"libraries":"the archive has no per-task library table","trend_sparklines":"the Trend column of the benchmarks table was a rendered image; it is not in the archive","social_and_latest_sorts":"stars and social signals are not in the archive"}}