Lecturas compartidas el 24 de marzo de 2024
#AI #CompSci #FunctionalProgramming #ITP #Lean4 #LeanProver #LogicProgramming #NeuralNetwork #PVS #Prolog #Python
Buenos días
Las lecturas compartidas en Mastodon el 24 de marzo de 2024 son
Lecturas compartidas el 23 de marzo de 2024. #AI #ATP #DeepLearning #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #Lean4 #LeanProver #Logic #Mace4 #MachineLearning #NeuralNetwork #Prover9
Quasiquotation with binders: A Lean metaprogramming example. ~ David Thrane Christiansen (@d_christiansen@mathstodon.xyz).e#ITP #LeanProver #Lean4 #FunctionalProgramming
Towards formal verification of neural networks in cyber-physical systems. ~ Federico Rossi et als. #ITP #PVS #NeuralNetwork
Knuckledragger update: ATP for python interactive theorem proving. ~ Philip Zucker (@sandmouth@types.pl). #ITP #Python
Teaching computing, logic, human communication, and problem solving through Prolog. ~ Bob Kowalski. #Prolog #LogicProgramming #CompSci
Who is an AI engineer? (AI engineering: The emergence of a new “on-demand” job role). ~ Richard Warepam. #AI
También están en GitHub.
Saludos, José A.
"El mismo sol funde la cera y seca la arcilla." ~ Clemente de Alejandría (150-215).
