Make TRS rules probabilistic #17
Description
TRS rules are currently non-deterministic, but they aren't probabilistic. It would be nice to make them fully probabilistic and to fit the probabilities during learning.
{{ message }}
TRS rules are currently non-deterministic, but they aren't probabilistic. It would be nice to make them fully probabilistic and to fit the probabilities during learning.