Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection

Documenti analoghi

• Are Language Models Efficient Reasoners? A Perspective from Logic Programming
  di: Opedal, Andreas, et al.
  Pubblicazione: (2025)
• The Alternation Hierarchy of First-Order Logic on Words is Decidable
  di: Barloy, Corentin, et al.
  Pubblicazione: (2025)
• Hybrid Models for Natural Language Reasoning: The Case of Syllogistic Logic
  di: Guzmán, Manuel Vargas, et al.
  Pubblicazione: (2025)
• ASP-Bench: From Natural Language to Logic Programs
  di: Szeider, Stefan
  Pubblicazione: (2026)
• Positive First-order Logic on Words and Graphs
  di: Kuperberg, Denis
  Pubblicazione: (2022)