Buenos días
Las lecturas compartidas en Mastodon el 5 de mayo de 2024 son
Lecturas compartidas el 4 de mayo de 2024. #ITP #Lean4 #IsabelleHOL #FunctionalProgramming #Haskell #Python #Math #AI
Libro "Calculemus (Demostraciones con Lean4)" (versión 4-mayo-24). #ITP #LeanProver #Lean4 #Matemáticas
Verification and refinement of natural language explanations through LLM-symbolic theorem proving. ~ Xin Quan, Marco Valentino, Louise A. Dennis, André Freitas. #AI #LLMs #ITP #IsabelleHOL
También están en GitHub.
Saludos, José A.
"El destino es el que baraja las cartas, pero nosotros somos los que jugamos." ~ William Shakespeare (1565-1616).