Lecturas compartidas el 18 de marzo de 2024
#AI #ATP #Coq #FunctionalProgramming #HOL_Light #Haskell #ITP #IsabelleHOL #LLMs #Lean4 #LeanProver #MachineLearning #Math #ProofAssistants
Buenos días
Las lecturas compartidas en Mastodon el 18 de marzo de 2024 son
Lecturas compartidas el 17 de marzo de 2024. #ATP #CurryHoward #FunctionalProgramming #Haskell #ILP #ITP #LambdaCalculus #Lean4 #Logic #LogicProgramming #Math #Programming #Python
#Calculemus: Demostraciones con Lean4 e Isabelle/HOL: "Si f es inyectiva, entonces f⁻¹[f[s]] ⊆ s". #ITP #LeanProver #Lean4 #IsabelleHOL #Matemáticas
Machine assisted proofs [Slides]. ~ Terence Tao (@tao@mathstodon.xyz). #ITP #ProofAssistants #Coq #IsabelleHOL #HOL_Light #LeanProver #MachineLearning #LLMs #Math
Machine assisted proofs. ~ Terence Tao (@tao@mathstodon.xyz). #ITP #ProofAssistants #Coq #IsabelleHOL #HOL_Light #LeanProver #MachineLearning #LLMs #Math
A conjecture for ATP research. ~ Wolfgang Bibel. #ATP
Understanding the phases applicative. ~ #Haskell #FunctionalProgramming
La IA (en Educación), ¿el nuevo Aceite de Serpiente? ~ David Álvarez (@balhisay). #AI #Educación
También están en GitHub.
Saludos, José A.
"Cualquier hombre puede cometer errores, pero sólo un idiota persiste en su error." ~ Cicerón (106 a.n.e., 43 a.n.e.).
