Las lecturas compartidas en Mastodon el 22 de junio de 2024 son

• Lecturas compartidas el 21 de junio de 2024. #ITP #Coq #FunctionalProgramming #OCaml
• Carleson operators on doubling metric measure spaces, ~ Lars Becker, Floris van Doorn, Asgar Jamneshan, Rajula Srivastava, Christoph Thiele. #ITP #Lean4 #Math
• Lean4trace: Data augmentation for neural theorem proving in Lean. ~ Vasilii Nesterov, Yermek Kapushev, Mikhail Burtsev. #ITP #Lean4 #LLMs
• More details, please: Improving autoformalization with more detailed proofs. ~ Guillem Tarrach, Albert Q. Jiang, Daniel Raggi, Wenda Li, Mateja Jamnik. #ITP #IsabelleHOL #LLMs
• VerityMath: Advancing mathematical reasoning by self-verification through unit consistency. ~ Vernon Toh Yan Han, Ratish Puduppully, Nancy F. Chen. #LLMs #Math #Reasoning