#logig — Public Fediverse posts

Readings shared March 4, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/04-readings_shared_03-04-25 #AI #AlphaGeometry #CompSci #ITP #LLMs #LeanProver #Logig #Math #Programming #Reasoning #SMT

Readings shared March 4, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/04-readings_shared_03-04-25 #AI #AlphaGeometry #CompSci #ITP #LLMs #LeanProver #Logig #Math #Programming #Reasoning #SMT

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

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