@article{neuraltemporallogicprogramming,
  title = {Neural Temporal Logic Programming},
  author = {Karan Samel and Zelin Zhao and Binghong Chen and Shuang Li and Dharmashankar Subramanian and Irfan Essa and Le Song},
  year = {2021},
  url = {https://openreview.net/forum?id=i7h4M45tU8},
}