Las lecturas compartidas en Mastodon el 18 de junio de 2024 son

• Lecturas compartidas el 17 de junio de 2024. #ITP #IsabelleHOL #FunctionalProgramming #Algorithms #AI
• Formally certified approximate model counting. ~ Yong Kiam Tan, Jiong Yang, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel. #ITP #IsabelleHOL
• Enriched category basics (in Isabelle/HOL). ~ Eugene W. Stark. #ITP #IsabelleHOL #Math
• Residuated transition systems II: Categorical properties (in Isabelle/HOL). ~ Eugene W. Stark. #ITP #IsabelleHOL
• Automated mathematical discovery and verification: Minimizing pentagons in the plane. ~ Bernardo Subercaseaux, John Mackey, Marijn J. H. Heule, Ruben Martins. #ATP #SAT #Math
• Dive deeper into Prolog: Master the fundamentals and tackle complex AI challenges. ~ Ashani Sansala Kodithuwakku. #LogicProgramming #Prolog #AI
• Is programming by example solved by LLMs? ~ Wen-Ding L, Kevin Ellis. #LLMs #Programming
• Can AI models solve the programming challenge Advent of Code? (Evaluating state of the art large language models). ~ Johannes Sandström. #AI #LLMs #Programming
• GitHub Copilot: the perfect Code compLeeter? ~ Ilja Siroš, Dave Singelée, Bart Preneel. #AI #LLMs #Programming