In this task, you are given the abstract of a research paper. Your task is to generate a summary of this abstract. Your summary should not be very short, but it's better if it's not more than 30 words.

Example Input: Sequential decision problems for real-world applications often need to be solved in real-time, requiring algorithms to perform well with a restricted computational budget. Width-based lookaheads have shown state-of-the-art performance in classical planning problems as well as over the Atari games with tight budgets. In this work we investigate width-based lookaheads over Stochastic Shortest paths (SSP). We analyse why width-based algorithms perform poorly over SSP problems, and overcome these pitfalls proposing a method to estimate costs-to-go. We formalize width-based lookaheads as an instance of the rollout algorithm, give a definition of width for SSP problems and explain its sample complexity. Our experimental results over a variety of SSP benchmarks show the algorithm to outperform other state-of-the-art rollout algorithms such as UCT and RTDP.
Example Output: We propose a new Monte Carlo Tree Search / rollout algorithm that relies on width-based search to construct a lookahead.

Example Input: Synthesizing user-intended programs from a small number of input-output exam-
 ples is a challenging problem with several important applications like spreadsheet
 manipulation, data wrangling and code refactoring. Existing synthesis systems
 either completely rely on deductive logic techniques that are extensively hand-
 engineered or on purely statistical models that need massive amounts of data, and in
 general fail to provide real-time synthesis on challenging benchmarks. In this work,
 we propose Neural Guided Deductive Search (NGDS), a hybrid synthesis technique
 that combines the best of both symbolic logic techniques and statistical models.
 Thus, it produces programs that satisfy the provided specifications by construction
 and generalize well on unseen examples, similar to data-driven systems. Our
 technique effectively utilizes the deductive search framework to reduce the learning
 problem of the neural component to a simple supervised learning setup. Further,
 this allows us to both train on sparingly available real-world data and still leverage
 powerful recurrent neural network encoders. We demonstrate the effectiveness
 of our method by evaluating on real-world customer scenarios by synthesizing
 accurate programs with up to 12× speed-up compared to state-of-the-art systems.
Example Output: We integrate symbolic (deductive) and statistical (neural-based) methods to enable real-time program synthesis with almost perfect generalization from 1 input-output example.

Example Input: In this paper, we ask for the main factors that determine a classifier's decision making and uncover such factors by studying latent codes produced by auto-encoding frameworks. To deliver an explanation of a classifier's behaviour, we propose a method that provides series of examples highlighting semantic differences between the classifier's decisions. We generate these examples through interpolations in latent space. We introduce and formalize the notion of a semantic stochastic path, as a suitable stochastic process defined in feature space via latent code interpolations. We then introduce the concept of semantic Lagrangians as a way to incorporate the desired classifier's behaviour and find that the solution of the associated variational problem allows for highlighting differences in the classifier decision.
 Very importantly, within our framework the classifier is used as a black-box, and only its evaluation is required.
Example Output:
We generate examples to explain a classifier desicion via interpolations in latent space. The variational auto encoder cost is extended with a functional of the classifier over the generated example path in data space.