Las lecturas compartidas en Mastodon el 6 de mayo de 2024 son

• Lecturas compartidas el 5 de mayo de 2024. #ITP #IsabelleHOL #Lean4 #AI #LLMs
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Si M es un monoide, x ∈ M y m, n ∈ N, entonces x^(m+n)=x^m · x^n". #ITP #Lean4 #IsabelleHOL #Math
• Formalizing Pick's theorem in Isabelle/HOL. ~ Sage Binder, Katherine Kosaian. #ITP #IsabelleHOL #Math
• Guided equality saturation. ~ Thomas Kœhler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer. #ITP #Lean4
• An introduction to MathComp-Analysis. ~ Reynald Affeldt. #ITP #Coq #Math
• Formalizing soundness proofs of linear PCP SNARKs. ~ Bolton Bailey, Andrew Miller. #ITP #Lean4
• Automatic programming: Large language models and beyond. ~ Michael R. Lyu, Baishakhi Ray, Abhik Roychoudhury, Shin Hwei Tan, Patanamon Thongtanunam. #LLMs #Programming