https://jaalonso.github.io/vestigium/esContents © 2026 <a href="mailto:">José A. Alonso</a> <a rel="license" href="https://creativecommons.org/licenses/by-nc-sa/4.0/"> <img alt="Creative Commons License BY-NC-SA" style="border-width:0; margin-bottom:12px;" src="https://i.creativecommons.org/l/by-nc-sa/4.0/88x31.png"></a>Thu, 01 Oct 2026 12:59:59 GMTNikola (getnikola.com)http://blogs.law.harvard.edu/tech/rsshttps://jaalonso.github.io/vestigium/posts/2024/10/29-readings_shared_10-29-24/José A. Alonso<p>The readings shared in <a href="https://mathstodon.xyz/@Jose_A_Alonso">Mastodon</a> on 29 October 2024 are</p> <ul> <li><a href="https://jaalonso.github.io/vestigium/posts/2024/10/28-readings_shared_10-28-24">Readings shared October 28, 2024</a>. #ITP #Lean4 #Coq #Math #LLMs</li> <li><a href="https://arxiv.org/pdf/2410.19738#page=14">Tools are all you need</a>. ~ Henry Kautz. #AI #LLMs #Logic #Reasoning</li> <li><a href="https://arxiv.org/pdf/2410.19738#page=31">Logic in the age of AI</a>. ~ Yuri Gurevich. #Logic #AI</li> <li><a href="https://arxiv.org/pdf/2410.19738#page=34">Rigorous language models for trustworthy AI</a>. ~ Yanhong A. Liu. #AI #LLMs #Logic #Reasoning</li> <li><a href="https://arxiv.org/pdf/2410.19738#page=41">Harnessing ASP and its extensions: Recent applications and role in Trustworthy AI</a>. ~ Giuseppe Mazzotta, Francesco Ricca. #AI #ASP #LogicProgramming</li> <li><a href="https://ceur-ws.org/Vol-3428/paper2.pdf">Advancements in xASP, an XAI system for Answer Set Programming</a>. ~ Mario Alviano, Ly Ly Trieu, Tran Son, Marcello Balduccini. #ASP #XAI</li> <li><a href="https://arxiv.org/abs/2406.11873v1">Logic-based explainability: Past, present &amp; future</a>. ~ Joao Marques-Silva. #XAI #Logic</li> <li><a href="https://arxiv.org/pdf/2410.19738#page=48">A case study on TSP: What to optimize and how?</a> ~ Martin Gebser. #ASP #LogicProgramming</li> <li><a href="https://arxiv.org/abs/2410.19738">Integrating reasoning systems for trustworthy AI (Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP))</a>. ~ Anil Nerode, Yanhong A. Liu (eds.) #Logic #LogicProgramming #AI</li> <li><a href="https://arxiv.org/abs/2410.19736">Combining LLM code generation with formal specifications and reactive program synthesis</a>. ~ William Murphy, Nikolaus Holzer, Feitong Qiao, Leyi Cui, Raven Rothkopf, Nathan Koenig, Mark Santolucito. #LLMs</li> <li><a href="https://youtu.be/_2qXIDO-cWw">Keynote presentation by Hal Abelson and Gerald Sussman at the fourteenth RacketCon: "Teaching people thinking: programming and powerful ideas" and "From computational thinking to computational action"</a>. #CompSci</li> <li><a href="https://realpython.com/python-git-github-intro/">Introduction to Git and GitHub for Python developers</a>. ~ Jim Anderson. #Git</li> </ul>AIASPLLMsLogicLogicProgrammingReasoningXAIhttps://jaalonso.github.io/vestigium/posts/2024/10/29-readings_shared_10-29-24/Tue, 29 Oct 2024 04:00:00 GMT