Abstract: Examples relate to a method, a computer program and a system for enabling a verification of a result of a computation obtained from a third party. The method comprises providing a model on a distributed ledger, the model representing the computation used by the third party. The method comprises providing access to the model for one or more users, to enable the users to verify the result of the computation.

Abstract: A computer-implemented method for generating higher-level features based on one or more lower-level features of a data set includes generating a higher-level feature using a predefined augmentation of one or more lower-level features, wherein the predefined augmentation comprises a predefined transformation of a lower-level feature and/or a predefined combination of a plurality of lower-level features. The method further includes computing a bivariate similarity metric indicative of a similarity between the generated higher-level feature and the one or more lower-level features. Furthermore, the method comprises adding the higher-level feature to a feature graph, if the metric is less than a predefined threshold. Further, the method comprises outputting a result indicative of the feature graph comprising the lower-level features and the higher-level features.

Abstract: Examples relate to a method, a computer program and a system for enabling a verification of a result of a computation obtained from a third party. The method comprises providing a model on a distributed ledger, the model representing the computation used by the third party. The method comprises providing access to the model for one or more users, to enable the users to verify the result of the computation.