John Mackey

According to our database, John Mackey authored at least 13 papers between 1996 and 2025.

Collaborative distances:

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

2025

Generative AI alone may not be enough: Evaluating AI Support for Learning Mathematical Proof.

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

CoRR, September, 2025

2024

Pentagon Minimization without Computation.

John Mackey, Bernardo Subercaseaux

CoRR, 2024

Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane.

Bernardo Subercaseaux, John Mackey, Marijn J. H. Heule, Ruben Martins

Proceedings of the Intelligent Computer Mathematics - 17th International Conference, 2024

2023

Minimizing Pentagons in the Plane through Automated Reasoning.

Bernardo Subercaseaux, John Mackey, Marijn J. H. Heule, Ruben Martins

CoRR, 2023

2022

Tighter Bounds on Directed Ramsey Number R(7).

David Neiman, John Mackey, Marijn Heule

Graphs Comb., 2022

2020

The Resolution of Keller's Conjecture - Computation Logs.

Joshua Brakensiek, Marijn Heule, John Mackey, David E. Narváez

Dataset, April, 2020

Containment: A Variation of Cops and Robber.

Danny Crytser, Natasha Komarov, John Mackey

Graphs Comb., 2020

The Resolution of Keller's Conjecture.

Joshua Brakensiek, Marijn Heule, John Mackey, David E. Narváez

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

The Resolution of Keller's Conjecture.

Joshua Brakensiek, Marijn Heule, John Mackey

CoRR, 2019

2017

On the Number of 5-Cycles in a Tournament.

Natasha Komarov, John Mackey

J. Graph Theory, 2017

2014

Improved upper and lower bounds on a geometric Ramsey problem.

Mikhail Lavrov, Mitchell Lee, John Mackey

Eur. J. Comb., 2014

2002

A Cube Tiling of Dimension Eight with No Facesharing.

John Mackey

Discret. Comput. Geom., 2002

1996

A lower bound for groupies in graphs.

John Mackey

J. Graph Theory, 1996