Papers Enumerative Search
“Enumerative Search” 태그가 달린 논문 7편 · 필터 해제
What is Formal Verification without Specifications? A Survey on mining LTL Specifications
Virtually all verification techniques using formal methods rely on the availability of a formal specification, which describes the design requirements precisely. However, formulating specifications remains a manual task …
Enumerative SearchSurveyFrom Examples to Rules: Neural Guided Rule Synthesis for Information Extraction
While deep learning approaches to information extraction have had many successes, they can be difficult to augment or maintain as needs shift. Rule-based methods, on the other hand, can be more easily modified. However, …
Enumerative SearchFew-Shot LearningProgram SynthesisRelation ClassificationFOREST: An Interactive Multi-tree Synthesizer for Regular Expressions
Form validators based on regular expressions are often used on digital forms to prevent users from inserting data in the wrong format. However, writing these validators can pose a challenge to some users. We present FORE…
Enumerative SearchFormSQUARES: A SQL Synthesizer Using Query Reverse Engineering
Nowadays, many data analysts are domain experts, but they lack programming skills. As a result, many of them can provide examples of data transformations but are unable to produce the desired query. Hence, there is an in…
Enumerative SearchProgram SynthesisSQL SynthesisTF-Coder: Program Synthesis for Tensor Manipulations
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. However, these libraries …
Deep LearningEnumerative SearchProgram SynthesisGenerating Programmatic Referring Expressions via Program Synthesis
Incorporating symbolic reasoning into machine learning algorithms is a promising approach to improve performance on learning tasks that require logical reasoning. We study the problem of generating a programmatic variant…
Enumerative SearchLogical ReasoningProgram SynthesisDeepCoder: Learning to Write Programs
We develop a first line of attack for solving programming competition-style problems from input-output examples using deep learning. The approach is to train a neural network to predict properties of the program that gen…
Enumerative SearchProgram Synthesis