TY  - RPRT
TI  - Steamroller Problems: An Evaluation of LLM Reasoning Capability with Automated Theorem Prover Strategies
AU  - Lachlan McGinness
AU  - Peter Baumgartner
PY  - 2024
UR  - https://arxiv.org/abs/2407.20244
ID  - 2407.20244
ER  -