Issued Patents 2022
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11501048 | Estimating hardness of formal properties using on-the-fly machine learning | Chuan Jiang, Manish Pandey | 2022-11-15 |
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11501048 | Estimating hardness of formal properties using on-the-fly machine learning | Chuan Jiang, Manish Pandey | 2022-11-15 |