Incentivizing Honesty among Competitors in Collaborative Learning and Optimization - Dorner, Florian E.; Konstantinov, Nikola; Pashaliev, Georgi; Vechev, Martin (Advances in Neural Information Processing Systems, 2023)