Lecturas compartidas el 25 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #FunctionalProgramming #Haskell #Python #Math #LLMs #MachineLearning
Buenos días
Las lecturas compartidas en Mastodon el 25 de mayo de 2024 son
Lecturas compartidas el 24 de mayo de 2024. #ITP #Lean4 #IsabelleHOL #Coq #Math
#Exercitium: Conjunto de primos relativos. #Haskell #Python #Matemáticas
La semana en Calculemus (Demostraciones con Lean4 e Isabelle/HOL) (25-mayo-24). #ITP #Lean4 #IsabelleHOL #Math
Statically typed functional programming with Python 3.12. ~ Oskar Wickström (@owickstrom). #FunctionalProgramming #Python
Proving theorems recursively. ~ Haiming Wang et als. #ITP #IsabelleHOL #LLMs #MachineLearning
DeepSeek-Prover: Advancing theorem proving in LLMs through large-scale synthetic data. ~ Huajian Xin et als. #LLMs #ITP #Lean4
También están en GitHub.
Saludos, José A.
"Con tu sonrisa puedes hacer el mundo más bello," ~ Thich Nhat Hanh (1926-2022).
