TY  - RPRT
TI  - A Neurosymbolic Approach to Natural Language Formalization and Verification
AU  - Chenyang An
AU  - Sam Bayless
AU  - Stefano Buliani
AU  - Darion Cassel
AU  - Byron Cook
AU  - Duncan Clough
AU  - Rémi Delmas
AU  - Nafi Diallo
AU  - Ferhat Erata
AU  - Nick Feng
AU  - Dimitra Giannakopoulou
AU  - Aman Goel
AU  - Aditya Gokhale
AU  - Joe Hendrix
AU  - Victor Heorhiadi
AU  - Marc Hudak
AU  - Dejan Jovanović
AU  - Andrew M. Kent
AU  - Benjamin Kiesl-Reiter
AU  - Jeffrey J. Kuna
AU  - Nadia Labai
AU  - Joseph Lilien
AU  - Divya Raghunathan
AU  - Zvonimir Rakamarić
AU  - Niloofar Razavi
AU  - Michael Tautschnig
AU  - Ali Torkamani
AU  - Nathaniel Weir
AU  - Michael W. Whalen
AU  - Jianan Yao
PY  - 2026
UR  - https://arxiv.org/abs/2511.09008
ID  - 2511.09008
ER  -