Lecturas compartidas el 3 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #FunctionalProgramming #Haskell #Python #Math #CompSci #Education #AI #GenerativeAI #MachineLearning #DeepLearning
Buenos días
Las lecturas compartidas en Mastodon el 3 de mayo de 2024 son
Lecturas compartidas el 2 de mayo de 2024. #ITP #Lean4 #IsabelleHOL #Coq #Prover9 #Mace4 #FunctionalProgramming #Haskell #Python #Math #AI #ChatGPT
#Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "En los monoides, los inversos a la izquierda y a la derecha son iguales". #ITP #Lean4 #IsabelleHOL #Math
El mes de abril en Exercitium (Ejercicios con Haskell y Python). #Haskell #Python #Matemáticas #Algorítmica
Undecidability results on orienting single rewrite rules (in Isabelle/HOL). ~ René Thiemann, Fabian Mitterwallner, Aart Middeldorp. #ITP #IsabelleHOL
Learning guided automated reasoning: A brief survey. ~ Lasse Blaauwbroek, David Cerna, Thibault Gauthier, Jan Jakubův, Cezary Kaliszyk, Martin Suda, Josef Urban. #ATP #ITP #AI #MachineLearning
A survey of deep learning for mathematical reasoning. ~ Pan Lu, Liang Qiu, Wenhao Yu, Sean Welleck, Kai-Wei Chang. #AI #DeepLearning #Math #Reasoning
A survey on deep learning for theorem proving. ~ Zhaoyu Li, Jialiang Sun, Logan Murphy, Qidong Su, Zenan Li, Xian Zhang, Kaiyu Yang, Xujie Si. #AI #DeepLearning #ATP #ITP #Math
AI copilots are changing how coding is taught (Professors are shifting away from syntax and emphasizing higher-level skills). ~ Rina Diane Caballar. #GenerativeAI #CompSci #Education
También están en GitHub.
Saludos, José A.
"No existe nada bueno ni malo, es el pensamiento humano el que lo hace aparecer así." ~ William Shakespeare (1565-1616).
