conftrace_

logical understanding

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

semantic-level understanding (1) sentence-level logic (1) natural language translation (1) natural language (1) first-order logic (1) semantic analysis (1) semantic parsing (1) logical reasoning (1) benchmark evaluation (1)

Papers

Do LLMs Really Struggle at NL-FOL Translation? Revealing Their Strengths via a Novel Benchmarking Strategy AAAI 2026