Highlighting Case Studies in LLM Literature Review of Interdisciplinary System Science. - Lachlan McGinness; Peter Baumgartner 001; Esther Onyango; Zelalem Lema (AI (1), 2024)

Automated Theorem Provers Help Improve Large Language Model Reasoning. - Lachlan McGinness; Peter Baumgartner 001 (LPAR, 2024)

Steamroller Problems: An Evaluation of LLM Reasoning Capability with Automated Theorem Prover Strategies. - Lachlan McGinness; Peter Baumgartner 001 (CoRR, 2024)

CON-FOLD Explainable Machine Learning with Confidence. - Lachlan McGinness; Peter Baumgartner 001 (Theory Pract. Log. Program., 2024)

Highlighting Case Studies in LLM Literature Review of Interdisciplinary System Science. - Lachlan McGinness; Peter Baumgartner 001 (CoRR, 2025)

Overview of AI Grading of Physics Olympiad Exams. - Lachlan McGinness (CoRR, 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; et al. (CoRR, 2025)

The AlphaPhysics Term Rewriting System for Marking Algebraic Expressions in Physics Exams. - Peter Baumgartner 001; Lachlan McGinness (CoRR, 2025)