Large language model verification
US-2025200392-A1 · Jun 19, 2025 · US
This page is not indexed by search engines while we improve data quality.
Whalen Michael William patents
Whalen Michael William is listed as an inventor on 6 patents in our database. Major assignees and classification codes are summarized below.
| Metric | Value |
|---|---|
| Inventor | Whalen Michael William |
| Total patents | 6 |
| First publication | Aug 17, 2021 |
| Latest publication | Jun 19, 2025 |
Notable patents
Publications ranked by popularity score, then publication date.
IoT Event Detector Correctness Verification
US-2024403186-A1 · Dec 5, 2024 · US
Cloud-based quantum compilation service for quantum circuit mapping using sat solving techniques
US-2024330735-A1 · Oct 3, 2024 · US
IoT event detector correctness verification
US-12093160-B1 · Sep 17, 2024 · US
Transitioning legacy software to be provably correct
US-11797317-B1 · Oct 24, 2023 · US
Anonymizing sensitive data in logic problems for input to a constraint solver
US-11093641-B1 · Aug 17, 2021 · US
Recent patents
Latest publications not already listed above.
No data yet.
Major assignees
Companies most often associated with this inventor's publications.
| Assignee | Patents |
|---|---|
| Amazon Tech Inc | 6 |
Top CPC classifications
Most common classification codes across this inventor's patents.
| CPC | Patents |
|---|---|
| G06F11/3684 | 2 |
| G06F11/3688 | 2 |
| H04L67/12 | 2 |
| H04L67/62 | 2 |
| G06F11/3604 | 2 |