OpenReview.net
  • Login

Jeffrey J. Kuna

Software Engineer, Automated Reasoning Group, Amazon

  • Joined September 2025

Names

Jeffrey J. Kuna (Preferred)
  • Suggest Name

Emails

****@amazon.com (Confirmed)
  • Suggest Email

Personal Links

LinkedIn
  • Suggest URL

Career & Education History

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

Advisors, Relations & Conflicts

No relations added

  • Suggest Relation

Expertise

software engineering
Present
 
  • Suggest Expertise

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