APA (7th ed.) Citation

McGinness, L., & Baumgartner, P. (2024). Steamroller Problems: An Evaluation of LLM Reasoning Capability with Automated Theorem Prover Strategies.

Chicago Style (17th ed.) Citation

McGinness, Lachlan, and Peter Baumgartner. Steamroller Problems: An Evaluation of LLM Reasoning Capability with Automated Theorem Prover Strategies. 2024.

MLA (9th ed.) Citation

McGinness, Lachlan, and Peter Baumgartner. Steamroller Problems: An Evaluation of LLM Reasoning Capability with Automated Theorem Prover Strategies. 2024.

Warning: These citations may not always be 100% accurate.