Distilling Clinical Scores with Symbolic Machine Learning: Frailty Index, an HIV Cohort Case Study | IEEE Conference Publication | IEEE Xplore