@misc{indiciaeabcad732367c,
  title = {DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs},
  author = {Ying Jiao and Rodrigo Castellano Ontiveros and Luc De Raedt and Marco Gori and Francesco Giannini and Michelangelo Diligenti and Giuseppe Marra},
  year = {2026},
  url = {https://arxiv.org/abs/2511.08581},
  note = {Source identifier: 2511.08581}
}