Self-Supervised Bug Detection and Repair

Neural Information Processing Systems 

Machine learning-based program analyses have recently shown the promise of integrating formal and probabilistic reasoning towards aiding software development.