Reverse-engineering core common sense with the tools of probabilistic programs, game-style simulation engines, and inductive program synthesis

A variety of inductive program synthesis (IPS) techniques have recently been developed, emerging from different areas of computer science. However, these techniques have not been adequately compared on general program synthesis problems. In this paper ...

Essential tasks for the verification of probabilistic programs include bounding expected outcomes and proving termination in finite expected runtime. We contribute a simple yet effective inductive synthesis approach for proving such quantitative ...

This paper presents an interactive game designed to improve users’ experience related to driving behaviour, as well as to provide decision support in this context. This paper explores machine learning (ML) methods to enhance the decision-making ...