4 ms·
I remember in 2010 a postdoc came to teach a course on model checking and the classroom was just packed with CS students. I never took it but it will be intere
by calf 3y ago
I remember in 2010 a postdoc came to teach a course on model checking and the classroom was just packed with CS students.
I never took it but it will be interesting to see what kind of synthesis between traditional logic and neural network paradigms can be achieved.
- pmoriarty 3y ago"it will be interesting to see what kind of synthesis between traditional logic and neural network paradigms can be achieved" Ben Goertzel talks about his work on something like this at around the 16 minute mark in this video: https://m.youtube.com/watch?v=MVWzwIg4Adw https://m.youtube.com/watch?v=MVWzwIg4Adw