John Mackey

14 papers C 1Journal 12Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Chat-Based Support Alone May Not Be Enough: Comparing Conversational and Embedded LLM Feedback for Mathematical Proof Learning.
CoRR
Eason Chen, Sophia Judicke, Kayla Beigh, Xinyi Tang, Isabel Wang, Nina Yuan, Zimo Xiao, Chuangji Li, Shizhuo Li, Reed Luttmer, Shreya Singh, Maria Yampolsky, Naman Parikh, Yvonne Zhao, Meiyi Chen, Scarlett Huang, Anishka Mohanty, Gregory Johnson, John Mackey, Jionghao Lin, Ken Koedinger
2025 J jnl
Generative AI alone may not be enough: Evaluating AI Support for Learning Mathematical Proof.
CoRR
Eason Chen, Sophia Judicke, Kayla Beigh, Xinyi Tang, Zimo Xiao, Chuangji Li, Shizhuo Li, Reed Luttmer, Shreya Singh, Maria Yampolsky, Naman Parikh, Yi Zhao, Meiyi Chen, Scarlett Huang, Anishka Mohanty, Gregory Johnson, John Mackey, Jionghao Lin, Ken Koedinger
2024 C conf
Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane.
CICM
Bernardo Subercaseaux, John Mackey, Marijn J. H. Heule, Ruben Martins
2024 J jnl
Pentagon Minimization without Computation.
CoRR
John Mackey, Bernardo Subercaseaux
2023 J jnl
Minimizing Pentagons in the Plane through Automated Reasoning.
CoRR
Bernardo Subercaseaux, John Mackey, Marijn J. H. Heule, Ruben Martins
2022 J jnl
The Resolution of Keller's Conjecture.
J. Autom. Reason.
Joshua Brakensiek, Marijn Heule, John Mackey, David E. Narváez
2022 J jnl
Tighter Bounds on Directed Ramsey Number R(7).
Graphs Comb.
David Neiman, John Mackey, Marijn Heule
2020 J jnl
Containment: A Variation of Cops and Robber.
Graphs Comb.
Danny Crytser, Natasha Komarov, John Mackey
2020 — conf
The Resolution of Keller's Conjecture.
IJCAR (1)
Joshua Brakensiek, Marijn Heule, John Mackey, David E. Narváez
2019 J jnl
The Resolution of Keller's Conjecture.
CoRR
Joshua Brakensiek, Marijn Heule, John Mackey
2017 J jnl
On the Number of 5-Cycles in a Tournament.
J. Graph Theory
Natasha Komarov, John Mackey
2014 J jnl
Improved upper and lower bounds on a geometric Ramsey problem.
Eur. J. Comb.
Mikhail Lavrov, Mitchell Lee, John Mackey
2002 J jnl
A Cube Tiling of Dimension Eight with No Facesharing.
Discret. Comput. Geom.
John Mackey
1996 J jnl
A lower bound for groupies in graphs.
J. Graph Theory
John Mackey