Abstract
A central challenge in mechanism design is that strategy-proof or otherwise equilibrium-tractable mechanisms may still fail in practice when participants do not understand the incentive structure. In matching environments, truthful reporting is often observed, yet it can reflect a focal default rather than sophisticated dominant-strategy play. This study tests whether generative AI chatbots can reduce mechanism understanding costs and thereby increase dominant-strategy play in matching mechanisms, including cases in which truth-telling is not optimal. We conduct a 2×2 laboratory experiment that cross-randomizes the assignment rule (Deferred Acceptance vs. Reverse Deferred Acceptance) and the availability of a generative AI chatbot (present vs. absent). Participants make a one-shot preference submission in a school-choice environment with priorities and random tie-breaking; they interact with computerized counterparts, and payoffs depend on the assigned school. Instruction time and on-screen layout are held constant across conditions. In the AI condition, participants may ask questions in natural language, and the chatbot is constrained to support comprehension of the provided instructions without recommending specific actions or revealing meta-level properties of the mechanisms. Our primary outcome is dominant-strategy play, defined as truthful reporting under Deferred Acceptance and reverse-truthful reporting under Reverse Deferred Acceptance. We compare dominant-strategy play between the AI-available and AI-unavailable conditions within each mechanism, and estimate treatment effects using the assigned availability of the chatbot. Secondary outcomes include comprehension test performance, decision times, and usage logs, as well as post-experimental measures of perceived demand effects. The design directly tests whether access to generative AI assistance shifts behavior toward dominant strategies even when the dominant strategy deviates from truthful reporting, helping distinguish defaults from comprehension as drivers of equilibrium (non)play.