Inventor · disambiguated record
Benjamin Kiesl-Reiter
Also filed as: KIESL-REITER BENJAMIN
0 granted patents·3 pending applications·0 citations·filing 2022–2023
Files withAMAZON TECH INC3
Top patents by PatentIndex Score
3 records- 0156US2024330735A1Cloud-based quantum compilation service for quantum circuit mapping using sat solving techniquesAMAZON TECH INC·Filed 2023·Application pending·0 cites
- 0255US2024202545A1An eager sat-based solver for a quantifier-free theory of strings and bit vectorsAMAZON TECH INC·Filed 2022·Application pending·0 cites
- 0350US2025200392A1Large language model verificationAMAZON TECH INC·Filed 2023·Application pending·0 cites
Join the waitlist — get patent alerts
Get an alert when Benjamin Kiesl-Reiter files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →