Stable Menus of Public Goods: AI-Enabled Progress
Not on the map. Why?
Abstract (arXiv)
Using an open problem from the EC 2025 paper "Stable Menus of Public Goods" as a testbed, we conduct experiments to understand the effectiveness of different AI-for-EconCS research workflows. Specifically, we study three questions: Does providing human intuition in the prompt help? Does automated multi-turn interaction help? And, does an LLM outperform a first-year PhD student? Regarding the first two questions, we provide evidence for the following workflow suggestions: (1) prompting with human intuition can encourage the LLM to have better "taste", (2) multi-turn workflows help when the pipeline encourages "ambitious" steps. Regarding the third question, using an unpublished manuscript written by the paper's senior authors prior to collaborating with the first-year PhD student, we compare the effectiveness of the LLM with that of the first-year PhD student, and find that the LLM is slightly less effective.
Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 10 of its 14 references that are in the map. First posted on arXiv 15 Jun 2026.
Builds on
10 of 14 references.
References · 10
- 2025AlphaEvolve: A coding agent for scientific and algorithmic discoverycited by 867
- 2025Mathematical exploration and discovery at scalecited by 77
- 2021Constructions in combinatorics via neural networkscited by 48
- 2026Towards Autonomous Mathematics Researchcited by 40
- 2024PatternBoost: Constructions in Mathematics with a Little Help from AIcited by 34
- 2025Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physicscited by 31
- 2026Advancing Mathematics Research with AI-Driven Formal Proof Searchcited by 23
- 2026AI co-mathematician: Accelerating mathematicians with agentic AIcited by 17
- 2026Reinforced Generation of Combinatorial Structures: Ramsey Numberscited by 9
- 2024Stable Menus of Public Goods: A Matching Problemcited by 1
Built on by
Not cited yet.