Explore LAT Logic and PyReason through a conference presentation by Syracuse University Ph.D. student Kaustuv Mukherji at the SIAM NNP 2025 Section Conference. Discover the intersection of symbolic methods and deep learning as Mukherji discusses his research work on these neuro-symbolic AI approaches. Learn about the latest developments in logic programming combined with neural networks, examining how PyReason serves as a tool for implementing logical reasoning systems. Gain insights into LAT Logic's theoretical foundations and practical applications in artificial intelligence. Access the accompanying preprint research paper to deepen your understanding of the methodologies and findings presented in this 21-minute academic talk focused on advancing neuro-symbolic artificial intelligence toward goals such as artificial general intelligence.