Alert button
Picture for Kavitha Srinivas

Kavitha Srinivas

Alert button

Can Machines Read Coding Manuals Yet? -- A Benchmark for Building Better Language Models for Code Understanding

Sep 15, 2021
Ibrahim Abdelaziz, Julian Dolby, Jamie McCusker, Kavitha Srinivas

Figure 1 for Can Machines Read Coding Manuals Yet? -- A Benchmark for Building Better Language Models for Code Understanding
Figure 2 for Can Machines Read Coding Manuals Yet? -- A Benchmark for Building Better Language Models for Code Understanding
Figure 3 for Can Machines Read Coding Manuals Yet? -- A Benchmark for Building Better Language Models for Code Understanding
Figure 4 for Can Machines Read Coding Manuals Yet? -- A Benchmark for Building Better Language Models for Code Understanding
Viaarxiv icon

Learning to Guide a Saturation-Based Theorem Prover

Jun 07, 2021
Ibrahim Abdelaziz, Maxwell Crouse, Bassem Makni, Vernon Austil, Cristina Cornelio, Shajith Ikbal, Pavan Kapanipathi, Ndivhuwo Makondo, Kavitha Srinivas, Michael Witbrock, Achille Fokoue

Figure 1 for Learning to Guide a Saturation-Based Theorem Prover
Figure 2 for Learning to Guide a Saturation-Based Theorem Prover
Figure 3 for Learning to Guide a Saturation-Based Theorem Prover
Figure 4 for Learning to Guide a Saturation-Based Theorem Prover
Viaarxiv icon

Graph4Code: A Machine Interpretable Knowledge Graph for Code

Feb 21, 2020
Kavitha Srinivas, Ibrahim Abdelaziz, Julian Dolby, James P. McCusker

Figure 1 for Graph4Code: A Machine Interpretable Knowledge Graph for Code
Figure 2 for Graph4Code: A Machine Interpretable Knowledge Graph for Code
Figure 3 for Graph4Code: A Machine Interpretable Knowledge Graph for Code
Figure 4 for Graph4Code: A Machine Interpretable Knowledge Graph for Code
Viaarxiv icon

A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies

Nov 05, 2019
Maxwell Crouse, Spencer Whitehead, Ibrahim Abdelaziz, Bassem Makni, Cristina Cornelio, Pavan Kapanipathi, Edwin Pell, Kavitha Srinivas, Veronika Thost, Michael Witbrock, Achille Fokoue

Figure 1 for A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies
Figure 2 for A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies
Figure 3 for A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies
Figure 4 for A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies
Viaarxiv icon

Merging datasets through deep learning

Sep 05, 2018
Kavitha Srinivas, Abraham Gale, Julian Dolby

Figure 1 for Merging datasets through deep learning
Figure 2 for Merging datasets through deep learning
Figure 3 for Merging datasets through deep learning
Figure 4 for Merging datasets through deep learning
Viaarxiv icon