The readings shared in Bluesky on 19 December 2024 are

• Readings shared December 18, 2024. #ITP #Agda #Mizar #Math #AI
• A formalization of sequent calculus for classical implicational logic. ~ Frederik Krogsdal Jacobsen, Jørgen Villadsen. #ITP #IsabelleHOL #Logic
• Elementary number theory problems (Part XV – Diophantine equations). ~ Karol Pąk, Artur Korniłowicz. #ITP #Mizar #Math
• Linear calculi: A comparison approach. ~ Ana Jorge Carvalho de Soares Almeida. #Haskell #FunctionalProgramming
• A survey of mathematical reasoning in the era of multimodal large language model: Benchmark, method & challenges. ~ Yibo Yan et als. #LLMs #Math #Reasoning