@misc{scassola2023conditioning,
  title={Conditioning Score-Based Generative Models by Neuro-Symbolic Constraints},
  author={Davide Scassola and Sebastiano Saccani and Ginevra Carbone and Luca Bortolussi},
  year={2023},
  eprint={2308.16534},
  archivePrefix={arXiv},
  primaryClass={cs.LG},
  url={https://arxiv.org/abs/2308.16534}
}