Lecturas compartidas el 7 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #Agda #SMT #Logic #Math #LLMs
Buenos días
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
También están en GitHub.
Saludos, José A.
"Feliz es el hombre que ha roto las cadenas que lastiman la mente, y ha dejado de preocuparse de una vez por todas." ~ Ovidio (-43, 17).
