Issued Patents 2023
Showing 1–7 of 7 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11741375 | Capturing the global structure of logical formulae with graph long short-term memory | Maxwell Crouse, Ibrahim Abdelaziz, Cristina Cornelio, Veronika Thost, Lingfei Wu +2 more | 2023-08-29 |
| 11740875 | Type inference in dynamic languages | Ibrahim Abdelaziz, Julian Timothy Dolby | 2023-08-29 |
| 11681510 | Reducing semantic errors in code generated by machine learning models | Julian Timothy Dolby, Martin J. Hirzel, Kiran A. Kate, Louis Mandel, Avraham E. Shinnar | 2023-06-20 |
| 11663251 | Question answering approach to semantic parsing of mathematical formulas | William Karol Lynch, Horst Cornelius Samulowitz, Fabio LORENZI | 2023-05-30 |
| 11599826 | Knowledge aided feature engineering | Udayan Khurana, Sainyam Galhotra, Oktie Hassanzadeh, Horst Cornelius Samulowitz | 2023-03-07 |
| 11573790 | Generation of knowledge graphs based on repositories of code | Julian Timothy Dolby | 2023-02-07 |
| 11573935 | Determining the schema of a graph dataset | Marcelo Arenas, Gonzalo Diaz, Achille Fokoue, Anastasios Kementsietsidis | 2023-02-07 |