"au:"John Mackey"" — arXiv2 Search

/ Date/ Name

/ Date/ Name

"au:"John Mackey"" — arXiv2 Search

Showing 1–5 of 5 results

/ Date/ Name

Apr 23, 2026Doubly Saturated Ramsey Graphs: A Case Study in Computer-Assisted Mathematical Discovery Feb 21, 2026Chat-Based Support Alone May Not Be Enough: Comparing Conversational and Embedded LLM Feedback for Mathematical Proof Learning Sep 20, 2025Generative AI alone may not be enough: Evaluating AI Support for Learning Mathematical Proof Nov 7, 2023Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane May 13, 2014Containment: A Variation of Cops and Robbers