Lecturas compartidas el 21 de marzo de 2024
#AI #Agda #CompSci #Coq #Education #FunctionalProgramming #Haskell #ITP #LLMs #Logic #Math #Reasoning
Buenos días
Las lecturas compartidas en Mastodon el 21 de marzo de 2024 son
Lecturas compartidas el 20 de marzo de 2024. #Coq #Dafny #FormalVerification #HOL #ITP #LeanProver #Lisa #Mathlib
Enhancing formal theorem proving: A comprehensive dataset for training AI models on Coq code. ~ Andreas Florath. #ITP #Coq #AI #LLMs
The functor of points approach to schemes in Cubical Agda. ~ Max Zeuner, Matthias Hutzler. #ITP #Agda
Creating a GUI application in Haskell. ~ Mark Karpov, Jorge Galarza. #Haskell #FunctionalProgramming
The Haskell Unfolder Episode 21¡2: foldr-build fusion. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@kosmikus@functional.cafe). #Haskell #FunctionalProgramming
Introduction to computation: Haskell, logic and automata. ~ D. Sannella. M Fourman, H. Peng and P. Wadler. #Haskell #FunctionalProgramming #Logic #Math #CompSci
Phenomenal yet puzzling: Testing inductive reasoning capabilities of language models with hypothesis refinement. ~ Linlu Qiu et als. #AI #LLMs #Reasoning
Generative AI and CS education (Increased knowledge sharing is helping CS educators and researchers accelerate change in computing education). ~ Maggie Johnson. #AI #Education
También están en GitHub.
Saludos, José A.
"Cuando he estado trabajando todo el día, un buen atardecer me sale al encuentro." ~ Johann Wolfgang von Goethe (1749-1832).