Keyword:Steamroller Problems

Publications
Automated Theorem Provers Help Improve Large Language Model Reasoning Lachlan McGinness and Peter Baumgartner In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning