Training on Prolog and PDDL representations improved several LLM reasoning benchmarks, but the controlled comparison does not show prototype training beats natural language training, and the abstract overstates the result.
International planning competition
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
dataset 1
citation-polarity summary
fields
cs.CL 1years
2025 1verdicts
REJECT 1roles
dataset 1polarities
use dataset 1representative citing papers
citing papers explorer
-
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs
Training on Prolog and PDDL representations improved several LLM reasoning benchmarks, but the controlled comparison does not show prototype training beats natural language training, and the abstract overstates the result.