A Neurosymbolic Approach to Natural Language Formalization and Verification. - Sam Bayless; Stefano Buliani; Darion Cassel; Byron Cook; Duncan Clough; Rémi Delmas; Nafi Diallo; Ferhat Erata; Nick Feng; Dimitra Giannakopoulou; Aman Goel; Aditya Gokhale; et al. (CoRR, 2025)