We’ve marked this problem as solved by humans + AI, reflecting that humans were actively engaged in elicitation but that the core ideas came from AI. For analyses where a binary human vs. AI distinction is required, we suggest considering these to be AI solutions.