Synergies Between Machine Learning and Reasoning (2024) · HackerTrans