Lecturas compartidas el 18 de abril de 2024
#ITP #LeanProver #Lean4 #IsabelleHOL #Coq #Imandra #ATP #SMT #AI #DeepLearning #Math #CategoryTheory
Buenos días
Las lecturas compartidas en Mastodon el 18 de abril de 2024 son
Lecturas compartidas el 17 de abril de 2024. #ITP #Coq #FunctionalProgramming #Haskell #Lisp #Algorithms
#Calculemus: Demostraciones con Lean4 e Isabelle/HOL: "f[s] ∩ t = f[s ∩ f⁻¹[t"]]. #ITP #LeanProver #Lean4 #IsabelleHOL #Matemáticas
ViCAR: Visualizing categories with automated rewriting in Coq. ~ Bhakti Shah et als. #ITP #Coq
Symbolic computation for all the fun. ~ Chad E. Brown, Mikoláš Janota, Mirek Olšák. #AIMO #ATP #SMT #Math
Towards a certified proof checker for deep neural network verification. ~ Remi Desmartin et als.f#page=203 #ITP #Imandra #DeepLearning
A survey on deep learning for theorem proving. ~ Zhaoyu Li et als. #ITP #DeepLearning
Category theory (Course notes). ~ Domini Corchard, Marco Paviotti. #CategoryTheory
También están en GitHub.
Saludos, José A.
"La vida no se trata de encontrarse a uno mismo. La vida es sobre crearte a ti mismo." ~ Bernard Shaw (1856-1950).