4 ms·

The sum-of-NIST-digits CNN+logic example was really interesting: https://scallop-lang.github.io/tutorial.html#section-10 https://scallop-lang.github.io/tutorial

by rsfern 4y ago

The sum-of-NIST-digits CNN+logic example was really interesting: https://scallop-lang.github.io/tutorial.html#section-10 https://scallop-lang.github.io/tutorial.html#section-10 Anybody familiar with the space have pointers to good introductory material on this field? Or terms to search on to get at current work - differentiable logic?

hgir8937q63hlay 4y ago
The recent survey on Neurosymbolic Programming is a great introduction to the field: https://twitter.com/swarat/status/1474105098401943555 https://twitter.com/swarat/status/1474105098401943555 (pardon the Twitter link). I don't think the full version is publicly available, but I suspect you might be able to get access to it if you DM someone involved. Other than that, here are some names of people working in this field that you might be able to find representative work from: - Mayur Naik, UPenn (whose group I think were behind Scallop?) - Swarat Chaudhuri (and maybe also Isil Dillig), UT Austin - Luc de Raedt, KU Leuven (whose earlier work on Statistical Relational AI is very similar to the Scallop style of neurosymbolic work - I think there's a good textbook available on this) - Guy van den Broeck, UCLA - Armando Solar-Lezama, MIT If you're more interested in the logic side of things then maybe some of MIRI's (https://intelligence.org/ https://intelligence.org/) older work may be of interest. There's also a lot of people who are interested in neuro-symbolic stuff in the wider sense. You can find out more here: http://www.neurosymbolic.org/index.html http://www.neurosymbolic.org/index.html. If you sign up for the mailing list, there are monthly (or bi-monthly? I can't remember) talks that are open to the public. You can even find recordings of past talks on Armando Solar-Lezama's youtube channel. Hope this helps!
- rsfern 4y ago
  Awesome, thanks! I think I found a full preprint on the authors site (pdf) https://www.cs.utexas.edu/~swarat/pubs/PGL-049-Plain.pdf https://www.cs.utexas.edu/~swarat/pubs/PGL-049-Plain.pdf

by rsfern 4y ago

hgir8937q63hlay 4y ago

The recent survey on Neurosymbolic Programming is a great introduction to the field: https://twitter.com/swarat/status/1474105098401943555 https://twitter.com/swarat/status/1474105098401943555 (pardon the Twitter link). I don't think the full version is publicly available, but I suspect you might be able to get access to it if you DM someone involved. Other than that, here are some names of people working in this field that you might be able to find representative work from: - Mayur Naik, UPenn (whose group I think were behind Scallop?) - Swarat Chaudhuri (and maybe also Isil Dillig), UT Austin - Luc de Raedt, KU Leuven (whose earlier work on Statistical Relational AI is very similar to the Scallop style of neurosymbolic work - I think there's a good textbook available on this) - Guy van den Broeck, UCLA - Armando Solar-Lezama, MIT If you're more interested in the logic side of things then maybe some of MIRI's (https://intelligence.org/ https://intelligence.org/) older work may be of interest. There's also a lot of people who are interested in neuro-symbolic stuff in the wider sense. You can find out more here: http://www.neurosymbolic.org/index.html http://www.neurosymbolic.org/index.html. If you sign up for the mailing list, there are monthly (or bi-monthly? I can't remember) talks that are open to the public. You can even find recordings of past talks on Armando Solar-Lezama's youtube channel. Hope this helps!

rsfern 4y ago
Awesome, thanks! I think I found a full preprint on the authors site (pdf) https://www.cs.utexas.edu/~swarat/pubs/PGL-049-Plain.pdf https://www.cs.utexas.edu/~swarat/pubs/PGL-049-Plain.pdf