Automated programming, symbolic computation, machine learning: my personal viewlink.springer.com4 pointsnextos2 years ago