It’s not a specific programming language, I guess it’s meant to look like Church. It could be written as:
(query . (define a (p)) . (foreach (range n) (lambda i) . . (define x (x-prior)) . . (factor (log (U x a)))))
Well so does the sigmoided version
It samples an action proportional to p(a) E[sigmoid(U) | a]. This can’t be written as a function of E[U | a].
It’s not a specific programming language, I guess it’s meant to look like Church. It could be written as:
It samples an action proportional to p(a) E[sigmoid(U) | a]. This can’t be written as a function of E[U | a].