NeuroSymbolicProgramming

Very interesting attempts to combine Deep learning / Connectionism with symbolic programming / formal constraints.

https://www.cs.utexas.edu/~swarat/pubs/PGL-049-Plain.pdf

https://www.nature.com/collections/ecjdhfaaij?gad_source=1&gclid=Cj0KCQiA8fW9BhC8ARIsACwHqYqtMPzS-xeiXZuc_TKT4GAQlBN8E_uowM-7t480cX0lPgvXCPVNqXMaAnfIEALw_wcB