OpenReview.net
  • Login

Jeffrey J. Kuna

Software Engineer, Automated Reasoning Group, Amazon
Joined
September 2025

Names

Jeffrey J. Kuna (Preferred)

Emails

****@amazon.com (Confirmed)

Personal Links

LinkedIn

Career & Education History

Software Engineer
Automated Reasoning Group, Amazon (amazon.com)
2019 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

software engineering
Present

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