A transformer can convert reasoning sentences into a task-specific logical form with 95-99% exact match, after which a symbolic solver answers deductive queries.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CL 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Reasoning is about giving reasons
A transformer can convert reasoning sentences into a task-specific logical form with 95-99% exact match, after which a symbolic solver answers deductive queries.