Talk:Bayesian program synthesis

How is this different to a Markov Logic Network?
This article appears to be a marketing piece for Gamalon, a startup that is commercializing machine learning software.

Pedro Dominguez writes about Markov Logic Networks which use artificial intelligence to extract first order logic. This is an academic field of study since 2003. Why is this any different to the way that Gamalon describes their product? — Preceding unsigned comment added by 2620:1F7:8FF:C43:0:0:1:32F (talk) 14:59, 10 July 2017 (UTC)

Ben Vigoda redirects here
However, he isn't mentioned at all in the text of the article. Airbornemihir (talk) 00:16, 6 April 2018 (UTC)