Certifying Concavity and Monotonicity in Games via Sum-of-Squares Hierarchies - Leon, Vincent; Sakos, Iosif; Sim, Ryann; Varvitsiotis, Antonios (Advances in Neural Information Processing Systems, 2025)