AF Cooper, E Abrams, N Na - Proceedings of the 2021 AAAI/ACM …, 2021 - dl.acm.org
Across machine learning (ML) sub-disciplines, researchers make explicit mathematical
assumptions in order to facilitate proof-writing. We note that, specifically in the area of …