The readings shared in Mastodon on August 18, 2024 are

• Readings shared August 15, 2024. #ITP #IsabelleHOL #Coq #SSReflect #Math #Haskell #Elm #FunctionalProgramming
• Machine-checked proofs and the rise of formal methods in mathematics. ~ Leonardo de Moura. #ITP #LeanProver #Math
• DeepSeek-Prover-V1.5: Harnessing proof assistant feedback for reinforcement learning and Monte-Carlo tree search. ~ Huajian Xin et als. #ITP #Lean4
• The AI scientist: Towards fully automated open-ended scientific discovery. ~ Chris Lu, Cong Lu, Robert Tjarko Lange, Jakob Foerster, Jeff Clune & David Ha. #AI