My understanding is non-determinism is usually due to explicitly introducing randomness while sampling. No reason why they couldn't use a static seed.
And if not, that's something that they should solve, unintentional non-determinism is a bug, not a feature.
My understanding is non-determinism is usually due to explicitly introducing randomness while sampling. No reason why they couldn't use a static seed.
And if not, that's something that they should solve, unintentional non-determinism is a bug, not a feature.