Neyman, E., & Roughgarden, T. (2022). Strictly Proper Contract Functions Can Be Arbitrage-Free. Proceedings of the AAAI Conference on Artificial Intelligence, 36(5), 5150-5155. https://doi.org/10.1609/aaai.v36i5.20449