Vaishak Belle

NeurIPS paper on PAC learnability for FOL

Conference link

Brendan and I have our paper on (implicit) PAC learnability for first-order logic accepted at NeurIPS.