Certifying Strategyproof Auction Networks
Michael J. Curry, Ping-Yeh Chiang, Tom Goldstein, John Dickerson

TL;DR
This paper enhances neural network-based auction mechanisms by enabling explicit verification of strategyproofness, ensuring more reliable and trustworthy revenue-maximizing auctions in complex multi-item, multi-participant settings.
Contribution
It introduces methods to verify strategyproofness exactly in neural network auction models, improving their reliability and applicability beyond empirical approximations.
Findings
Successfully verified strategyproofness in multiple auction settings.
Produced certificates for mechanisms where optimal solutions are unknown.
Modified neural network architecture for exact integer programming representation.
Abstract
Optimal auctions maximize a seller's expected revenue subject to individual rationality and strategyproofness for the buyers. Myerson's seminal work in 1981 settled the case of auctioning a single item; however, subsequent decades of work have yielded little progress moving beyond a single item, leaving the design of revenue-maximizing auctions as a central open problem in the field of mechanism design. A recent thread of work in "differentiable economics" has used tools from modern deep learning to instead learn good mechanisms. We focus on the RegretNet architecture, which can represent auctions with arbitrary numbers of items and participants; it is trained to be empirically strategyproof, but the property is never exactly verified leaving potential loopholes for market participants to exploit. We propose ways to explicitly verify strategyproofness under a particular valuation…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
Taxonomy
TopicsAuction Theory and Applications · Imbalanced Data Classification Techniques · Blockchain Technology Applications and Security
