`apply_optimizer` bug for terms in `sakka_bilmes_product`

pyro-ppl / funsor

Functional tensors for probabilistic programming

https://funsor.pyro.ai

Apache License 2.0

236 stars 20 forks source link

`apply_optimizer` bug for terms in `sakka_bilmes_product` #537

Closed ordabayevy closed 3 years ago

ordabayevy commented 3 years ago

There are terms in sarkka_bilmes_product that are incorrectly evaluated by apply_optimizer (#536). The test in this PR replicates one such expression.

ordabayevy commented 3 years ago

Closing this PR since I believe the root cause of the issue here is related to alpha-conversion edge cases reported in #414 .