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.
Prentice hall Upper Saddle River, 1994
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.CL 1years
2025 1verdicts
REJECT 1roles
background 1polarities
unclear 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.