@misc{indiciae003c4cef52fa,
  title = {A Neurosymbolic Approach to Natural Language Formalization and Verification},
  author = {Chenyang An and Sam Bayless and Stefano Buliani and Darion Cassel and Byron Cook and Duncan Clough and Rémi Delmas and Nafi Diallo and Ferhat Erata and Nick Feng and Dimitra Giannakopoulou and Aman Goel and Aditya Gokhale and Joe Hendrix and Victor Heorhiadi and Marc Hudak and Dejan Jovanović and Andrew M. Kent and Benjamin Kiesl-Reiter and Jeffrey J. Kuna and Nadia Labai and Joseph Lilien and Divya Raghunathan and Zvonimir Rakamarić and Niloofar Razavi and Michael Tautschnig and Ali Torkamani and Nathaniel Weir and Michael W. Whalen and Jianan Yao},
  year = {2026},
  url = {https://arxiv.org/abs/2511.09008},
  note = {Source identifier: 2511.09008}
}