VLDB 2026 Research / reviewers in the wild / expert
John Mackey
dblp:129/3096
· DBLP profile ↗
4ranked-venue papers
1as first author
3since 2021 · last 2026
0000-0001-7319-4377ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 2 · 2 since 2021Software engineering, systems software and programming languages · 1 · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 first-authorHuman-computer interaction and ubiquitous computing · 1 · 1 since 2021Theory of computation · 1 · 1 since 2021Applied, interdisciplinary, general and emerging computing · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Chat-Based Support Alone May Not Be Enough: Comparing Conversational and Embedded LLM Feedback for Mathematical Proof Learning
Eason Chen, Sophia Judicke, Kayla Beigh, Yumo Wang, Mingyu Yuan, Zimo Xiao, Chuangji Li, Shizhuo Li, Reed Luttmer, Shreya Singh, Maria Yampolsky, Naman Parikh, Yvonne Zhao, Meiyi Chen, Anishka Mohanty, Gregory Johnson, John Mackey, Jionghao Lin, Kenneth R. Koedinger |
AIED | 19 |
| 2024 | Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane
Bernardo Subercaseaux, John Mackey, Marijn Heule, Ruben Martins |
CICM | 2 |
| 2022 | The Resolution of Keller's Conjecture
Joshua Brakensiek, Marijn Heule, John Mackey, David E. Narváez |
J. Autom. Reason. | 3 |
| 2002 | A Cube Tiling of Dimension Eight with No Facesharing
John Mackey |
Discret. Comput. Geom. | 1 |