Search Results for author:
Found 3 papers, 0 papers with code
Oasis: ILP-Guided Synthesis of Loop Invariants
Automated synthesis of inductive invariants is an important problem in software verification.
On Scaling Data-Driven Loop Invariant Inference
Automated synthesis of inductive invariants is an important problem in software verification.
Automated Correction for Syntax Errors in Programming Assignments using Recurrent Neural Networks
We present a technique for providing feedback on syntax errors that uses Recurrent neural networks (RNNs) to model syntactically valid token sequences.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
