Auctions, deep learning, formal methods and discrete optimization, it seems like you got my list of things I want to learn and turned that into an amazing solution for a giant problem. Congratulations to the team, will be watching from afar and rooting for you!