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

• Lecturas compartidas el 6 de mayo de 2024. #ITP #Lean4 #IsabelleHOL #Coq #Math #AI #LLMs #Programming
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Sea M un monoide y a, b ∈ M tales que ab = 1. Entonces, a = 1 si y sólo si b = 1". #ITP #Lean4 #IsabelleHOL #Math
• Delooping generated groups in homotopy type theory. ~ Camil Champin, Samuel Mimram, Emile Oleon. #ITP #Agda #Math
• NL2FOL: Translating natural language to first-order logic for logical fallacy detection. ~ Abhinav Lalwani, Lovish Chopra, Christopher Hahn, Caroline Trippel, Zhijing Jin, Mrinmaya Sachan. #LLMs #SMT #Logic