315 citations · 479 across the 8 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LG2019★ 3 cited
Data Generation for Neural Programming by Example
Judith Clymo, Haik Manukian, Nathanaël Fijalkow +2
Programming by example is the problem of synthesizing a program from a small set of input / output pairs. Recent works applying machine learning methods to this task show promise,…
cs.LG2019★ 18 cited
Generating Weighted MAX-2-SAT Instances of Tunable Difficulty with Frustrated Loops
Yan Ru Pei, Haik Manukian, Massimiliano Di Ventra
Many optimization problems can be cast into the maximum satisfiability (MAX-SAT) form, and many solvers have been developed for tackling such problems. To evaluate a MAX-SAT solver…