A Constructive, Type-Theoretic Approach to Regression via Global Optimisation.

Published in: CoRR (2020)

Keyphrases