If you want to be 100% sure of transformations being correctness preserving, then they need to be deterministic and formally proven to be correct.
We have had a good technology for doing that since the late 1950s, and, like I pointed out in my first reply, it already works very well.
Replacing it with a probabilistic model would not improve things. In this case, it would do the opposite of what you want because you would be replacing something that is provably and reliably able to produce correctness preserving translations with something that is fundamentally and inherently loosey-goosey.
We have had a good technology for doing that since the late 1950s, and, like I pointed out in my first reply, it already works very well.
Replacing it with a probabilistic model would not improve things. In this case, it would do the opposite of what you want because you would be replacing something that is provably and reliably able to produce correctness preserving translations with something that is fundamentally and inherently loosey-goosey.