Summary of Steamroller Problems: An Evaluation Of Llm Reasoning Capability with Automated Theorem Prover Strategies, by Lachlan Mcginness et al.
Steamroller Problems: An Evaluation of LLM Reasoning Capability with Automated Theorem Prover Strategiesby Lachlan McGinness,…