Picture for Sahil Bhatia

Sahil Bhatia

LLM-Aided Compilation for Tensor Accelerators

Add code
Aug 06, 2024
Viaarxiv icon

Synthetic Programming Elicitation and Repair for Text-to-Code in Very Low-Resource Programming Languages

Add code
Jun 05, 2024
Viaarxiv icon

OASIS: ILP-Guided Synthesis of Loop Invariants

Add code
Nov 26, 2019
Figure 1 for OASIS: ILP-Guided Synthesis of Loop Invariants
Figure 2 for OASIS: ILP-Guided Synthesis of Loop Invariants
Figure 3 for OASIS: ILP-Guided Synthesis of Loop Invariants
Figure 4 for OASIS: ILP-Guided Synthesis of Loop Invariants
Viaarxiv icon

Automated Correction for Syntax Errors in Programming Assignments using Recurrent Neural Networks

Add code
Mar 19, 2016
Figure 1 for Automated Correction for Syntax Errors in Programming Assignments using Recurrent Neural Networks
Figure 2 for Automated Correction for Syntax Errors in Programming Assignments using Recurrent Neural Networks
Figure 3 for Automated Correction for Syntax Errors in Programming Assignments using Recurrent Neural Networks
Figure 4 for Automated Correction for Syntax Errors in Programming Assignments using Recurrent Neural Networks
Viaarxiv icon