Overview
Explore a 21-minute talk by Associate Professor Paulo Shakarian on Lab V2's current research at Arizona State University. Delve into PyReason software for OWTL, its application as a semantic proxy for reinforcement learning, extensions to generalized annotated programs, and ChatGPT's performance on mathematical word problems. Gain insights into cutting-edge developments at the intersection of symbolic methods and deep learning, including logic programming and progress towards artificial general intelligence (AGI). Access linked research papers to further expand your understanding of these advanced topics in artificial intelligence and machine learning.
Syllabus
Reasoning with PyReason
Taught by
Neuro Symbolic