OpenReview.net
  • Login

Nadia Labai

Joined
June 2020

Names

Nadia Labai (Preferred)

Emails

****@gmail.com (Confirmed)

Personal Links

Google Scholar

Career & Education History

PhD student
TU Wien Vienna University of Technology (tuwien.ac.at)
2015 – 2020

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
  • Byron Cook
  • 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
  • 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