HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Peter Baumgartner

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

Keyphrases

automated theorem proving, first-order logic, large language models, logic programming, natural language, Reasoning, Steamroller Problems.

Copyright © 2012-2025 easychair.org. All rights reserved.