NeurIPS paper on PAC learnability for FOL Sep 10, 2019 Conference link Brendan and I have our paper on (implicit) PAC learnability for first-order logic accepted at NeurIPS.