Things are getting interesting. The book is only about 90 pages long.

But in summary, it becoming possible to make programs that are both bug free, and can cover a problem domain that cannot be feasibly solved with simple manual programming.

https://www.amazon.com/Neurosymbolic-Programming-Foundations-Trends-Languages/dp/1680839349

It is more advanced. Yes. Very, more so than regular programs in a lot of ways.

It is a concept that comes out of the formal methods community. A more descriptive title is more like "automated program synthesis via mathematical logic and deep learning".

@jmw150 I may actually use this for my thesis if I can grok it, thank you so much for posting it!! 😄

Follow

@lucifargundam @jmw150 Check zlib to see if it's there? (And if so, link me xD)

Magos Logis Logan@jmw150@qoto.org@johnabs @lucifargundam

This looks like it is the same book.

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

Possible free access through univerities

https://ieeexplore.ieee.org/document/9646874