3 ms·Automated Induction of Functions Over Algebraic Data Types (Machine Learning)2 points by vog 11y ago