OpenReview.net
OpenReview.net
Login
OpenReview.net
Login

Byron Cook

Joined
September 2025

Names

Byron Cook (Preferred)

Emails

****@amazon.com (Confirmed)
, 
****@gmail.com (Confirmed)

Personal Links

Homepage

Career & Education History

Full Professor
Computer Science, University College London, University of London (ucl.ac.uk)
2012 – 2025

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

  • A Neurosymbolic Approach to Natural Language Formalization and Verification

    Sam Bayless, Darion Cassel, Byron Cook, Duncan Clough, Rémi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Joe Hendrix, Marc Hudak, Dejan Jovanović, Andrew M. Kent, Benjamin Kiesl-Reiter, Jeffrey J. Kuna, Nadia Labai, Joseph Lilien, Divya Raghunathan, Zvonimir Rakamaric et al. (5 additional authors not shown)
    • Submitted to ICLR 2026
    • Readers: Everyone

Co-Authors

  • Ali Torkamani
  • Aman Goel
  • Andrew M. Kent
  • Benjamin Kiesl-Reiter
  • Darion Cassel
  • Dejan Jovanović
  • Dimitra Giannakopoulou
  • Divya Raghunathan
  • Duncan Clough
  • Ferhat Erata
  • Jeffrey J. Kuna
  • Jianan Yao
  • Joe Hendrix
  • Joseph Lilien
  • Marc Hudak
  • Michael Tautschnig
  • Nadia Labai
  • Nafi Diallo
  • Nathaniel Weir
  • Nick Feng
  • Niloofar Razavi
  • Rémi Delmas
  • Sam Bayless
  • Zvonimir Rakamaric
  • About OpenReview
  • Hosting a Venue
  • All Venues
  • Contact
  • Sponsors
  • Donate
  • FAQ
  • Terms of Use / Privacy Policy
  • News
  • About OpenReview
  • Hosting a Venue
  • All Venues
  • Sponsors
  • News
  • FAQ
  • Contact
  • Donate
  • Terms of Use
  • Privacy Policy

OpenReview is a long-term project to advance science through improved peer review with legal nonprofit status. We gratefully acknowledge the support of the OpenReview Sponsors. © 2026 OpenReview