The readings shared in Bluesky on 4 March 2025 are

• Formalizing zeta and L-functions in Lean. ~ David Loeffler, Michael Stoll. #ITP #LeanProver #Math
• Lean Copilot: Large language models as copilots for theorem proving in Lean. ~ Peiyang Song, Kaiyu Yang, Anima Anandkumar. #LLMs #ITP #LeanProver
• Gold-medalist performance in solving olympiad geometry with AlphaGeometry2. ~ Yuri Chervonyi et als. #AI #AlphaGeometry #Math
• NL2FOL: Translating natural language to first-order logic for logical fallacy detection. ~ Abhinav Lalwani et als. #LLMs #Logig #SMT
• Utilizing ChatGPT in a data structures and algorithms course: A teaching assistant's perspective. ~ Pooriya Jamie, Reyhaneh Hajihashemi, Sharareh Alipour. #LLMs #CompSci
• Performance review on LLM for solving Leetcode problems. ~ Lun Wang et als. #LLMs #Programming
• InductionBench: LLMs fail in the simplest complexity class. ~ Wenyue Hua et als. #LLMs #Reasoning