We conduct an incentivized lab experiment to test participants' ability to understand the DA matching mechanism and the strategyproofness property, conveyed in different ways. We find that while many participants can (using a novel GUI) learn DA's mechanics and calculate its outcomes, such understanding does not imply understanding of strategyproofness (as measured by specially designed tests). However, a novel menu description of strategyproofness conveys this property significantly better than other treatments. While behavioral effects are small on average, participants with levels of strategyproofness understanding above a certain threshold play the classical dominant strategy at very high rates.

翻译：我们开展了一项激励性实验室实验，测试参与者在不同传达方式下对DA匹配机制及策略证明性属性的理解能力。研究发现，尽管许多参与者能够（通过新颖的GUI界面）掌握DA的运行机制并计算其匹配结果，但这种理解并不等同于对策略证明性的认知（通过专门设计的测试衡量）。然而，采用新颖的菜单式描述方法能比其他处理方式更有效地传达策略证明性属性。虽然平均而言行为效应较小，但策略证明性理解水平超过特定阈值的参与者以极高比例采用了经典优势策略。