Readings shared February 4, 2025 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 fo

Readings shared March 4, 2025. jaalonso.github.io/vestigium/po... #AI #AlphaGeometry #CompSci #ITP #LLMs #LeanProver #Logig #Math #Programming #Reasoning #SMT

NL2FOL: Translating Natural Language to First-Order Logic for Logical Fallacy Detection Translating natural language into formal language such as First-Order Logic (FOL) is a foundational challenge in NLP with wide-ranging applications in automated reasoning, misinformation tracking, and...

NL2FOL: Translating natural language to first-order logic for logical fallacy detection. ~ Abhinav Lalwani et als. arxiv.org/abs/2405.02318 #LLMs #Logig #SMT