The readings shared in Bluesky on 8 May 2025 are

• SAT-solving the poset cover problem. ~ Chih-Cheng Rex Yuan, Bow-Yaw Wang. #ATP #SAT_solvers #Z3
• FormalMATH: Benchmarking formal mathematical reasoning of large language models. ~ Zhouliang Yu et als. #LLMs #Autoformalization #Math #ITP #LeanProver
• Beyond theorem proving: Formulation, framework and benchmark for formal problem-solving. ~ Qi Liu et als. #LLMs #ITP #LeanProver
• The Haskell Unfolder Episode 43: Monomorphism restriction and defaulting. ~ Edsko de Vries, Andres Löh. #Haskell #FunctionalProgramming
• What is programming?… and what is programming in the age of artificial intelligence? ~ Sebastian Nicolajsen, Claus Brabrand. #Programming