Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2408.03492
Cited By
Automated Theorem Provers Help Improve Large Language Model Reasoning
Logic Programming and Automated Reasoning (LPAR), 2024
7 August 2024
Lachlan McGinness
Peter Baumgartner
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Github
Papers citing
"Automated Theorem Provers Help Improve Large Language Model Reasoning"
6 / 6 papers shown
Large Language Models Imitate Logical Reasoning, but at what Cost?
Lachlan McGinness
Peter Baumgartner
ReLM
LRM
ELM
AI4CE
325
2
0
16 Sep 2025
A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning
Michael K. Chen
NAI
ELM
LRM
255
3
0
05 Aug 2025
Overview of AI Grading of Physics Olympiad Exams
Lachlan McGinness
229
0
0
04 May 2025
Highlighting Case Studies in LLM Literature Review of Interdisciplinary System Science
Applied Informatics (AI), 2025
Lachlan McGinness
Peter Baumgartner
231
3
0
16 Mar 2025
Integrating Expert Knowledge into Logical Programs via LLMs
Franciszek Górski
Oskar Wysocki
Marco Valentino
André Freitas
1.0K
2
0
17 Feb 2025
Steamroller Problems: An Evaluation of LLM Reasoning Capability with Automated Theorem Prover Strategies
Lachlan McGinness
Peter Baumgartner
LRM
332
3
0
17 Jul 2024
1
Page 1 of 1
