2 citations · 2 across the 1 of their papers we have counts for
1 paper
Jonas Witt, Sebastijan Dumančić, Tias Guns +1
A major bottleneck in search-based program synthesis is the exponentially growing search space which makes learning large programs intractable. Humans mitigate this problem by leve…