Translating natural language to first-order logic for logical fallacy detection March 4, 2025 by kamal Comments