@misc{indiciae91ed66111fe8,
  title = {Auto-Formalizing Neuro-Symbolic Predictors},
  author = {Samuele Bortolotti and Weixin Chen and Han Zhao and Andrea Passerini and Stefano Teso and Antonio Vergari},
  year = {2026},
  url = {https://arxiv.org/abs/2610.01519},
  note = {Source identifier: 2610.01519}
}