| 12360745 |
Performing code completion using data flow |
Wenting Zhao, Julian Timothy Dolby, Kavitha Srinivas |
2025-07-15 |
| 11868716 |
Knowledge base question answering |
Srinivas Ravishankar, Pavan Kapanipathi Bangalore, Nandana Mihindukulasooriya, Dinesh Garg, Salim Roukos +1 more |
2024-01-09 |
| 11741375 |
Capturing the global structure of logical formulae with graph long short-term memory |
Maxwell Crouse, Cristina Cornelio, Veronika Thost, Lingfei Wu, Bassem Makni +2 more |
2023-08-29 |
| 11740875 |
Type inference in dynamic languages |
Julian Timothy Dolby, Kavitha Srinivas |
2023-08-29 |
| 11544597 |
Problem manipulators for language-independent computerized reasoning |
Cristina Cornelio, Achille B. Fokoue-Nkoutche, Aldo Pareja, Michael J. Witbrock |
2023-01-03 |
| 11500619 |
Indexing and accessing source code snippets contained in documents |
Julian Timothy Dolby, Kavitha Srinivas |
2022-11-15 |
| 11481212 |
Automatic identification of reference data |
Julian Timothy Dolby, Kavitha Srinivas |
2022-10-25 |
| 11429876 |
Infusing knowledge into natural language processing tasks using graph structures |
Pavan Kapanipathi Bangalore, Kartik Talamadupula, Veronika Thost, Siva Sankalp Patel, Avinash Balakrishnan +6 more |
2022-08-30 |
| 10878309 |
Determining context-aware distances using deep neural networks |
Achille B. Fokoue-Nkoutche, Mohammad Sadoghi Hamedani, Meinolf Sellmann |
2020-12-29 |
