Talk:Bayesian program synthesis

Latest comment: 6 years ago by Airbornemihir in topic Ben Vigoda redirects here

How is this different to a Markov Logic Network? edit

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)Reply

Ben Vigoda redirects here edit

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