John Mackey
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2020–2026
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AIED | Chat-Based Support Alone May Not Be Enough: Comparing Conversational and Embedded LLM Feedback for Mathematical Proof Learning. | Eason Chen, Sophia Judicke, Kayla Beigh, Xinyi Tang, Yumo Wang, Mingyu Yuan, Zimo Xiao, Chuangji Li, Shizhuo Li, Reed Luttmer, Shreya Singh, Maria Yampolsky, Naman Parikh, Yvonne Zhao, Meiyi Chen, Cheng Huang, Anishka Mohanty, Gregory Johnson, John Mackey, Jionghao Lin, Ken Koedinger |
| 2026 | FUN | Solving Small Rubik's Cubes as Slowly as Possible. | Jenny Quan, Noah Kim, Bernardo Subercaseaux, John Mackey |
| 2020 | CADE | The Resolution of Keller's Conjecture. | Joshua Brakensiek, Marijn Heule, John Mackey, David E. Narvez |