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/12/23-readings_shared_12-23-24/José A. Alonso<p>The readings shared in <a href="https://bsky.app/profile/jalonso.bsky.social">Bluesky</a> on 23 December 2024 are</p> <ul> <li><a href="https://jaalonso.github.io/vestigium/posts/2024/12/21-readings_shared_12-21-24">Readings shared December 21, 2024</a>. #ITP #IsabelleHOL #Math #Haskell #FunctionalProgramming</li> <li><a href="https://arxiv.org/abs/2412.16075">Formal mathematical reasoning: A new frontier in AI</a>. ~ Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li, Kristin Lauter, Swarat Chaudhuri, Dawn Song. #AI #Math #Reasoning #ITP #Coq #IsabelleHOL #LeanProver #Autoformalization</li> <li><a href="https://xenaproject.wordpress.com/2024/12/22/can-ai-do-maths-yet-thoughts-from-a-mathematician/">Can AI do maths yet? Thoughts from a mathematician</a>. ~ Kevin Buzzard. #AI #ITP #Math</li> <li><a href="https://arxiv.org/abs/2410.10908">The state of Julia for scientific machine learning</a>. ~ Edward Berman, Jacob Ginesin. #Programming #JuliaLang #Python #MachineLearning</li> <li><a href="https://arxiv.org/abs/2410.00726">LTLf synthesis on first-order agent programs in nondeterministic environments</a>. ~ Till Hofmann, Jens Claßen. #AI #Golog #LogicProgramming</li> </ul>AIAutoformalizationCoqGologIsabelleHOLITPJuliaLangLeanProverLogicProgrammingMachineLearningMathProgrammingPythonReasoninghttps://jaalonso.github.io/vestigium/posts/2024/12/23-readings_shared_12-23-24/Mon, 23 Dec 2024 04:00:00 GMT