Lachlan McGinness

According to our database, Lachlan McGinness authored at least 9 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

The AlphaPhysics Term Rewriting System for Marking Algebraic Expressions in Physics Exams.

Peter Baumgartner, Lachlan McGinness

CoRR, July, 2025

Particle Builder - Learn about the Standard Model while playing against an AI.

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

CoRR, June, 2025

Highlighting Case Studies in LLM Literature Review of Interdisciplinary System Science.

Lachlan McGinness, Peter Baumgartner

CoRR, March, 2025

Large Language Models Imitate Logical Reasoning, but at What Cost?

Lachlan McGinness, Peter Baumgartner

Proceedings of the AI 2025: Advances in Artificial Intelligence, 2025

Overview of AI Grading of Physics Olympiad Exams.

Lachlan McGinness

Proceedings of the Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium, Blue Sky, and WideAIED, 2025

2024

CON-FOLD Explainable Machine Learning with Confidence.

Lachlan McGinness, Peter Baumgartner

Theory Pract. Log. Program., 2024

Steamroller Problems: An Evaluation of LLM Reasoning Capability with Automated Theorem Prover Strategies.

Lachlan McGinness, Peter Baumgartner

CoRR, 2024

Automated Theorem Provers Help Improve Large Language Model Reasoning.

Lachlan McGinness, Peter Baumgartner

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

Highlighting Case Studies in LLM Literature Review of Interdisciplinary System Science.

Lachlan McGinness, Peter Baumgartner, Esther Onyango, Zelalem Lema

Proceedings of the AI 2024: Advances in Artificial Intelligence, 2024