Lachlan McGinness

13 papers B 1Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Highlighting Case Studies in LLM Literature Review of Interdisciplinary System Science.
CoRR
Lachlan McGinness, Peter Baumgartner
2025 — conf
Large Language Models Imitate Logical Reasoning, but at What Cost?
AI (1)
Lachlan McGinness, Peter Baumgartner
2025 J jnl
Large Language Models Imitate Logical Reasoning, but at what Cost?
CoRR
Lachlan McGinness, Peter Baumgartner
2025 — conf
Overview of AI Grading of Physics Olympiad Exams.
AIED Companion (1)
Lachlan McGinness
2025 J jnl
Overview of AI Grading of Physics Olympiad Exams.
CoRR
Lachlan McGinness
2025 J jnl
Particle Builder - Learn about the Standard Model while playing against an AI.
CoRR
Mohammad Attar, Andrew Carse, Yeming Chen, Thomas Green, Jeong-Yeon Ha, Yanbai Jin, Amy McWilliams, Theirry Panggabean, Zhengyu Peng, Lujin Sun, Jing Ru, Jiacheng She, Jialin Wang, Zilun Wei, Jiayuan Zhu, Lachlan McGinness
2025 J jnl
The AlphaPhysics Term Rewriting System for Marking Algebraic Expressions in Physics Exams.
CoRR
Peter Baumgartner, Lachlan McGinness
2024 B conf
Automated Theorem Provers Help Improve Large Language Model Reasoning.
LPAR
Lachlan McGinness, Peter Baumgartner
2024 J jnl
Automated Theorem Provers Help Improve Large Language Model Reasoning.
CoRR
Lachlan McGinness, Peter Baumgartner
2024 J jnl
CON-FOLD - Explainable Machine Learning with Confidence.
CoRR
Lachlan McGinness, Peter Baumgartner
2024 J jnl
CON-FOLD Explainable Machine Learning with Confidence.
Theory Pract. Log. Program.
Lachlan McGinness, Peter Baumgartner
2024 — conf
Highlighting Case Studies in LLM Literature Review of Interdisciplinary System Science.
AI (1)
Lachlan McGinness, Peter Baumgartner, Esther Onyango, Zelalem Lema
2024 J jnl
Steamroller Problems: An Evaluation of LLM Reasoning Capability with Automated Theorem Prover Strategies.
CoRR
Lachlan McGinness, Peter Baumgartner