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:58 GMTNikola (getnikola.com)http://blogs.law.harvard.edu/tech/rsshttps://jaalonso.github.io/vestigium/posts/2025/03/04-readings_shared_03-04-25/José A. Alonso<p>The readings shared in <a href="https://bsky.app/profile/jalonso.bsky.social">Bluesky</a> on 4 March 2025 are</p> <ul> <li><a href="https://arxiv.org/abs/2503.00959">Formalizing zeta and L-functions in Lean</a>. ~ David Loeffler, Michael Stoll. #ITP #LeanProver #Math</li> <li><a href="https://arxiv.org/abs/2404.12534">Lean Copilot: Large language models as copilots for theorem proving in Lean</a>. ~ Peiyang Song, Kaiyu Yang, Anima Anandkumar. #LLMs #ITP #LeanProver</li> <li><a href="https://arxiv.org/abs/2502.03544">Gold-medalist performance in solving olympiad geometry with AlphaGeometry2</a>. ~ Yuri Chervonyi et als. #AI #AlphaGeometry #Math</li> <li><a href="https://arxiv.org/abs/2405.02318">NL2FOL: Translating natural language to first-order logic for logical fallacy detection</a>. ~ Abhinav Lalwani et als. #LLMs #Logig #SMT</li> <li><a href="https://arxiv.org/abs/2410.08899">Utilizing ChatGPT in a data structures and algorithms course: A teaching assistant's perspective</a>. ~ Pooriya Jamie, Reyhaneh Hajihashemi, Sharareh Alipour. #LLMs #CompSci</li> <li><a href="https://arxiv.org/abs/2502.15770">Performance review on LLM for solving Leetcode problems</a>. ~ Lun Wang et als. #LLMs #Programming</li> <li><a href="https://arxiv.org/abs/2502.15823">InductionBench: LLMs fail in the simplest complexity class</a>. ~ Wenyue Hua et als. #LLMs #Reasoning</li> </ul>AIAlphaGeometryCompSciITPLeanProverLLMsLogigMathProgrammingReasoningSMThttps://jaalonso.github.io/vestigium/posts/2025/03/04-readings_shared_03-04-25/Tue, 04 Mar 2025 04:00:00 GMT