Issued Patents All Time
Showing 1–6 of 6 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11983608 | Efficient verification of machine learning applications | Kanthi Sarpatwar, Karthikeyan Shanmugam, Roman Vaculin | 2024-05-14 |
| 11694110 | Aggregated machine learning verification for database | Kanthi Sarpatwar, Karthikeyan Shanmugam, Roman Vaculin | 2023-07-04 |
| 11562228 | Efficient verification of machine learning applications | Kanthi Sarpatwar, Karthikeyan Shanmugam, Roman Vaculin | 2023-01-24 |
| 11475365 | Verification of stochastic gradient descent | Kanthi Sarpatwar, Karthikeyan Shanmugam, Roman Vaculin | 2022-10-18 |
| 11356275 | Electronically verifying a process flow | Enriquillo Valdez, Richard H. Boivie, Jinwook Jung, Gi-Joon Nam, Roman Vaculin +1 more | 2022-06-07 |
| 11271958 | Efficient unsupervised anomaly detection on homomorphically encrypted data | Kanthi Sarpatwar, Saket Sathe, Roman Vaculin | 2022-03-08 |