r/MachineLearning - [D] Formal logic in ML

Open in new window