New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Semantics of Nested Inference #173

Open

PoorvaGarg opened this issue Dec 26, 2023 · 0 comments

Member

PoorvaGarg commented Dec 26, 2023 •

edited

Loading

What should be the semantics of the following probabilistic program?


code = @dice begin
            a = DistUInt{4}([flip(0.5), flip(0.5), flip(0.5), flip(0.5)])
            b = DistUInt{4}([flip(0.1), flip(0.1), flip(0.1), flip(0.1)])
            if pr(a)[0] > 0
                observe(a > DistUInt{4}(1))
            end
            a
end

p = pr(code)```

The text was updated successfully, but these errors were encountered:

# for free to join this conversation on GitHub. Already have an account? # to comment