The readings shared in Mastodon on 26 October 2024 are

• Readings shared October 25, 2024. #ITP #LeanProver #IsabelleHOL #Math #Prolog #ASP #CLP #LogicProgramming #LLMs #GenerativeAI #Rust #Verification
• Neuro-symbolic agent with ASP for robust exception learning in text-based games. ~ Kinjal Basu. #ILP #LogicProgramming #AI #MachineLearning
• An AI learning hierarchy. ~ Peter J. Denning, Ted G. Lewis. #AI