The readings shared in Mastodon on 27 October 2024 are

• Readings shared October 26, 2024. #ILP #LogicProgramming #AI #MachineLearning
• Double auctions: Formalization and automated checkers. ~ Mohit Garg, N. Raja, Suneel Sarswat, Abhishek Kr Singh. #ITP #Coq #Haskell #OCaml
• Axiomatic set theory (Version of 26 October 2024). ~ Tom Leinster. #Math #SetTheory
• ChatGPT’s performance in university admissions tests in mathematics. ~ Angel Udias et als. #ChatGPT #Math