Readings shared October 25, 2024

José A. Alonso — Fri, 25 Oct 2024 04:00:00 GMT

The readings shared in Mastodon on 25 October 2024 are

A formal characterization of discrete condensed objects. ~ Dagur Asgeirsson. #ITP #LeanProver #Math
Formalization of differential privacy in Isabelle/HOL. ~ Tetsuya Sato, Yasuhiko Minamide. #ITP #IsabelleHOL
A formalization of Borel determinacy in Lean. ~ #ITP #LeanProver #Math
Brownian motion in Isabelle/HOL. ~ Christian Pardillo Laursen, Simon Foster, Mark Post. #ITP #IsabelleHOL
Teaching pure LP with Prolog and a fair search rule. ~ Manuel V. Hermenegildo, Jose F. Morales, Pedro Lopez-Garcia. #Prolog #LogicProgramming
General game playing - Killer app for logic programming. ~ Michael Genesereth. #Prolog #LogicProgramming
Teaching Prolog through grammars. ~ David S. Warren. #Prolog #LogicProgramming
From logic programming to programming in Logica: A first-course in declarative data science & engineering. ~ Evgeny Skvortsov, Yilin Xia, Shawn Bowers & Bertram Ludäscher. #LogicProgramming #Logica
Logica: language of Big Data. ~ Evgeny Skvortsov et als. #LogicProgramming #Logica
Democratising access to logic programming: A Web application design tool for querying Prolog code. ~ Santiago Andrés Villarroel, Christian Nelson Gimenez, Jorge Pablo Rodríguez, Laura Andrea Cecchi. #Prolog #LogicProgramming
Computational thinking with logic programming. ~ Gopal Gupta, Elmer Salazar, Joaquín Arias. #ASP #LogicProgramming
Generative logic: Teaching Prolog as Generative AI in art and design. ~ Christian Jendreiko. #Prolog #LogicProgramming #GenerativeAI
Controlled natural language models. ~ Jacinto A. Dávila Quintero. #LLMs #Prolog #LogicProgramming
On teaching logic programming in the era of generative AI. ~ Paul Tarau. #Prolog #LogicProgramming #GenerativeAI
Bringing logic programming to primary school: a teacher training course. ~ Laura Andrea Cecchi, Jorge Pablo Rodríguez. #Prolog #LogicProgramming #Education
On teaching constraint-based modeling and algorithms for decision support in Prolog. ~ François Fages. #CLP #LogicProgramming
Desarrollo de sistema de resolución de rompecabezas en ASP mediante el uso de LLM. ~ Pedro Pazos Curra. #ASP #LLMs
Verifying the Rust Standard Library. ~ Rahul Kumar et als. #Rust #Verification

Vestigium (Publicaciones sobre Verification)

Readings shared October 25, 2024