2.2k citations · 2.5k across the 9 of their papers we have counts for
1 paper · 2 filters
Weidi Xu, Jingwei Wang, Lele Xie +7
Integrating first-order logic constraints (FOLCs) with neural networks is a crucial but challenging problem since it involves modeling intricate correlations to satisfy the constra…