Reducing the need for assumptions in the automated modelling of physical systems | lit.salon