TY  - RPRT
TI  - Auto-Formalizing Neuro-Symbolic Predictors
AU  - Samuele Bortolotti
AU  - Weixin Chen
AU  - Han Zhao
AU  - Andrea Passerini
AU  - Stefano Teso
AU  - Antonio Vergari
PY  - 2026
UR  - https://arxiv.org/abs/2610.01519
ID  - 2610.01519
ER  -