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 13:00:00 GMTNikola (getnikola.com)http://blogs.law.harvard.edu/tech/rsshttps://jaalonso.github.io/vestigium/posts/2024/10/20-readings_shared_10-20-24/José A. Alonso<p>The readings shared in <a href="https://mathstodon.xyz/@Jose_A_Alonso">Mastodon</a> on 20 October 2024 are</p> <ul> <li><a href="https://jaalonso.github.io/vestigium/posts/2024/10/20-readings_shared_10-20-24">Readings shared October 20, 2024</a>. #ITP #LeanProver #Lean4 #Math #Math #SetTheory #AI</li> <li><a href="https://joomy.korkutblech.com/papers/dissertation.pdf">Foreign function verification through metaprogramming</a>. ~ Joomy Korkut. #ITP #Coq</li> <li><a href="https://www.cs.cmu.edu/~janh/courses/814/24/lectures/lecture01.pdf">Lecture notes on overview and the lambda calculus</a>. ~ Jan Hoffmann. #LambdaCalculus</li> <li><a href="https://www.cs.cmu.edu/~janh/courses/814/24/schedule/">Course: Types and Programming Languages</a>. ~ Jan Hoffmann. #FunctionalProgramming</li> <li><a href="https://link.springer.com/article/10.1007/s10462-024-10928-7">An efficient propositional system for Abductive Logic Programming</a>. ~ M. Gavanelli, P. Julián-Iranzo, F. Sáenz-Pérez. #ALP #LogicProgramming</li> <li><a href="https://openreview.net/group?id=NeurIPS.cc%2F2024%2FWorkshop%2FMATH-AI#tab-accept">The accepted papers for the MATH-AI workshop have been released on OpenReview</a>. #ITP #AI #LLMs #Math</li> </ul>AIALPFunctionalProgrammingITPLambdaCalculusLLMsLogicProgrammingMathhttps://jaalonso.github.io/vestigium/posts/2024/10/20-readings_shared_10-20-24/Sun, 20 Oct 2024 04:00:00 GMT