Steamroller Problems: An Evaluation of LLM Reasoning Capability with Automated Theorem Prover Strategies.

Lachlan McGinness Peter Baumgartner

Published in: CoRR (2024)

Keyphrases

theorem prover
automated reasoning
automated theorem proving
optimization problems
first order logic
solving problems
term rewriting
formal proof
learning algorithm
probability distribution
theorem proving
reasoning tasks
boolean algebra
higher order logic
computer algebra systems