Lecturas compartidas el 23 de marzo de 2024
#AI #ATP #DeepLearning #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #Lean4 #LeanProver #Logic #Mace4 #MachineLearning #NeuralNetwork #Prover9
Buenos días
Las lecturas compartidas en Mastodon el 23 de marzo de 2024 son
Lecturas compartidas el 22 de marzo de 2024. #Coq #ITP #LeanProver #Lean4 #Math
Lean4Lean: Towards a formalized metatheory for the Lean theorem prover. ~ Mario Carneiro. #ITP #LeanProver #Lean4
LeanReasoner: Boosting complex logical reasoning with Lean. ~ Dongwei Jiang, Marcio Fonseca, Shay B. Cohen. #ITP #LeanProver #LLMs
A semantic search engine for Mathlib4. ~ Guoxiong Gao et als. #ITP #LeanProver #LLMs
Approximate model counting (in Isabelle/HOL). ~ Yong Kiam Tan, Jiong Yang. #ITP #IsabelleHOL
Fully evaluated left-sequential logics. ~ Alban Ponse, Daan J.C. Staudt. #ATP #Prover0 #Mace4 #Logic
Neural networks, pre-lenses, and triple Tambara modules. ~ Bartosz Milewski (@BartoszMilewski@mathstodon.xyz) #Haskell #FunctionalProgramming #AI #MachineLearning #DeepLearning #NeuralNetwork
También están en GitHub.
Saludos, José A.
"Quien es feliz hará felices a los demás." ~ Ana Frank (1929-1945).
