LGML: Logic guided machine learning is an ongoing project at the University of Waterloo.
For more see our short paper at AAAI '20. This work won best 3MT at AAAI '20.
This repo is under development.
LGML: Logic guided machine learning is an ongoing project at the University of Waterloo.
For more see our short paper at AAAI '20. This work won best 3MT at AAAI '20.
This repo is under development.